Re: [mizar] what's new in mizar 7.9.01?

[Adam Naumowicz <adamn@math.uwb.edu.pl>]

Hi Jesse,

On Fri, 2 May 2008, Jesse Alama wrote:

> What are some of the notable changes to mizar in the latest version
> (7.9.01) compared to the previous version (7.8.10)?

Apart from the usual improvements and bugfixes, the new Mizar's parser has 
been partially reimplemented by Artur. Czeslaw made the unifier a bit 
stronger allowing up to 4 clauses in an inference. This version also uses 
a richer format of library files storing the information on registrations, 
so the previous library is now incompatible with the new system and hence 
the change of the version number from 7.8.* to 7.9.* .

Best,

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/
======================================================================