Re: [mizar] A. Asperti's offer

[Freek Wiedijk <freek@cs.kun.nl>]

Piotr:

>How about we insist that one of the MOWGLI project learns
>enough Mizar to do something?

_I_ am one of the MoWGLI project :-)  (Nijmegen is one of the
MoWGLI sites.)  And I know enough Mizar, I hope.

But I don't know much about the Pascal source of Mizar, and
even if I knew it, I don't know whether Andrzej and Czeslaw
will allow those sources to be used for this purpose (==
conversion of the full MML to XML by someone outside Bialystok).

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?

Freek