Re: [mizar] Mizar grammar up to date?

[Grzegorz Bancerek <bancerek@math.uwb.edu.pl>]

Josef Urban wrote:
> 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).

I started some works on Mizar2XML with partial goal the input files
for translator for FM. It requires only idetification of formats in
surface level of an article - no proofs, no identification of
constructors. The final goal is to get XML files after any passage
of Mizar verifier and including MML Query information.
But it must wait to the end of Trial-Solution.
Markus is doing a translation to OMDoc.

> > 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.

From Bialystok Andrzej and me, from Edmonton Piotr.

Grzegorz