[Date Prev][Date Next] [Chronological] [Thread] [Top]

Re: [mizar] Mizar 7?

Dear Adam,

>I believe that version 7.0.02 will be ready for official
>distribution in a couple of days,

I'd rather not teach my students (all two of them! :-)) an
outdated syntax.  So I'll wait for this 7.0.02 and then use
that version in the course.

And thanks for the quick reply!

Freek