Re: [mizar] Mizar grammar up to date?

[Josef Urban <urban@ktilinux.ms.mff.cuni.cz>]

Dear Freek,

On Mon, 6 Jan 2003, Freek Wiedijk wrote:

> >Perhaps all of the Mizar2XML projects (:-)
> 
> Can you summarize the state of those projects?  I'm curious!

Me too. The only knowledge I have now is that Grzegorz has been doing 
something and Markus Moschner too. Perhaps some of them can answer you.
I just promised to update the expat based XML code, when the new 
attribute implementation is ready (and I am curious myself when will that 
be).

> And, related question: will you be at the MKM workshop in
> Italy in February?  Or any other Mizar people?

Yes. I had a look at the program and there are talks by Mizar people.

Josef