Dear Josef, >Perhaps all of the Mizar2XML projects (:-) Can you summarize the state of those projects? I'm curious! And, related question: will you be at the MKM workshop in Italy in February? Or any other Mizar people? By the way, there was a reference to Mizar-to-XML translation at Google Answers: <http://answers.google.com/answers/main?cmd=threadview&id=133281> Freek