[Date Prev][Date Next]
[Chronological]
[Thread]
[Top]
[mizar] Mizar ver. 7.3.01 released
Dear Mizar Users,
This message is to inform you that all subsequent Mizar versions (starting
from 7.2.01) will now use a new XML-based format of the library (the
'prel' files) to make it more accessible and standardized.
There are some small drawbacks, however. The size of the distribution
after unpacking is now approx. 160 MB. And because the files are larger,
there can also appear a slight slowdown during the accommodation stage on
systems with older and slower hard-drives.
Additionally, please note that the version 7.3.01 released today
contains a minor change in the Mizar grammar. Namely, the environment
directives 'clusters' and 'notation' have been replaced by 'registrations'
and 'notations', respectively.
Best regards,
Adam Naumowicz
======================================================================
Department of Applied Logic fax. +48 (85) 745-7662
Institute of Computer Science tel. +48 (85) 745-7559 (office)
University of Bialystok e-mail: adamn@mizar.org
Sosnowa 64, 15-887 Bialystok, Poland http://math.uwb.edu.pl/~adamn/
======================================================================