Re: [mizar] Mizar 7?

[Andrzej Trybulec <trybulec@math.uwb.edu.pl>]

Freek,

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.

All the best,
Andrzej

Freek Wiedijk wrote:

> Dear Adam,
>
> >I believe that version 7.0.02 will be ready for official
> >distribution in a couple of days,
>
> Can you give a prediction on how long this will take?  I
> asked my students to wait with installing the system until
> it's there, but if that takes too long I'll have them use
> 7.0.01 for now.
>
> (I'd rather not have them use version 6, because I want the
> course materials to be "up-to-date".)
>
> Freek