Re: Mizar 6.0.00 for Linux

[Piotr Rudnicki <piotr@cs.ualberta.ca>]

Panie Mariuszu:

Cos jest nie tak z przerwaniami.  Mianowicie, verifiera nie mozna
przerwac z klawiatury wtedy jak pisze na ekran.  Jak zapuscic verifier,
zeby pisal do pliku, to mozna go przerwac z klawiatury.  W kazdym przypadku,
mozna przerwac verifier przez kill.  Przez chwile myslalem, ze mam cos
pokrecone w parametrach shella ale program w C, ktory zachowuje sie
podobnie do verifiera z punktu widzenia terminala daje sie przerywac bez 
problemu.

I druga sprawa. 
Z tajemniczych powodow, czasami makeenv i verifier zaczynaja pisac
na poczatku okna a czasami kontunuuja z miejsca, gdzie byly wywolane.
Wstawilbym clear na poczatku mizf, zeby czyscil ekran zamiast pisac na
starych smieciach.

I trzecia sprawa.  Po wywolaniu makeenv albo verifier (albo po mizf)
i powrocie do shella, z ktorego byly wywolane wypisyja ;1R.
Nie mam pojecia, co to jest ale to jest tylko na Linuxie 2.2.10 #11.

Pozdrowienia,

PR