Re: [mizar] A. Asperti's offer

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

On Mon, 5 Aug 2002, Freek Wiedijk wrote:

> I think the best way to help Andrea with this, is to
> encourage Josef Urban to visit Bologna.

I am sorry, but I have decided (for n+1-st time) to finish my PhD in 
Prague. I think there are enough people knowing Mizar, who can continue 
and improve the XML work, and (from the other side), there should be no 
problem for the MoWGLI people to visit Bialystok ( as Markus Moschner is 
going to).
Anyway, it is dr. Trybulec's work to coordinate all these XML-for-MML 
projects. My opinion is, that with XML there is a good chance to update 
and improve the HTML and TeX translations (and there is a lot to do there, 
e.g. the rich field of proof presentation has been completely 
neglected so far), as well as get some new translations and tools. 

So if there are people who want to do this, I suggest to go beyond the PR :-) 
reasons and really encourage them to create the most suitable XML 
representation for Mizar, and integrate it with current Mizar tools. 
After all, these would be new people taking care of a part of Mizar, and 
the argument "the team is small and we cannot do everything" has been 
used too often to spoil such occasions with "just another MML export" 
(that stops working one year from its creation).

Josef