Re: [mizar] A. Asperti's offer

[Piotr Rudnicki <piotr@cs.ualberta.ca>]

On Tue, Aug 06, 2002 at 05:33:34PM +0200, Freek Wiedijk wrote:

> I think I _am_ a SUM member (although I don't know when I
> have to pay the next contribution :-)), so I guess I am
> allowed to _look_ at those sources.  But does that include
> modifying them and using them for something else?

The entire Mizar-XML connection should be discussed before any
commitments.  I cannot speak for the current programmers but it is
unlikely that Mizar's sources will be adjusted just to serve the XML
needs - there are simply more important things to do.  However, I
would expect that there is no such need.  I guess that Grzegorz in his
MML query has probably developed all the needed tools that the XML
people could use without ever looking into Mizar sources.

-- 
Piotr Rudnicki              CompSci, University of Alberta, Edmonton, Canada
email: piotr@cs.ualberta.ca                 http://web.cs.ualberta.ca/~piotr