Re: [mizar] Mizar 7?

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

On Mon, 2 Feb 2004, Freek Wiedijk wrote:

> Today starts my course "proof assistants" in which (among
> other things) I'll try to teach Mizar.  So I downloaded the
> latest version and found that it is no longer version 6 but
> version 7!

I guess you've found Mizar 7.0.01 in

ftp://mizar.uwb.edu.pl/pub/system/linux/

In fact, this is still a development version. Current "stable" release is
6.4.02 and can be downloaded from /pub/system/current/

> Can anyone tell me what is different that we get a new
> major version number?

Shortly speaking, there are numerous changes concerning the syntax (mostly
definitions, schemes, per cases) and the checker (internal complex
calculus). A suitable (and I hope more elaborate) notice will be sent to
the list by Grzegorz and Czeslaw bacause they are responsible for the
changes. I believe that version 7.0.02 will be ready for official
distribution in a couple of days, so I think now it is better to wait for
the new release than use 7.0.01.

Best,

Adam Naumowicz