Re: [mizar] Mizar 7?

[Freek Wiedijk <freek@cs.kun.nl>]

Dear Andrzej,

>Actually, I do not understand your problem, realease 6 and 7 mostly do
>not differ. A typical begining of the course - the fitness of the proof
>(basic tactics), which inferences are obvious and so on, uses the part
>of Mizar that is the same in both releases.
>And when your start using schemes or reasoning per cases, or alternative
>notation, the release 7 will be probably ready.

You're right.  I didn't want them to have to install the
system twice.  But now I realize that this is sufficiently
trivial that it's not worth the worry.

Freek