Re: [mizar] Schemes, help!

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

Freek,

On Wed, 15 Oct 2003, Freek Wiedijk wrote:

> I'm getting errors for my from-applications of schemes!  I
> don't like this at all!  What's going on?  Is this change
> described somewhere?  

The only advice for you, I can think of, that _works_ , is:

Learn Polish and subscribe to developer-forum@mizar.uwb.edu.pl .

If you do so, you might have some small chance of learning to know 
beforehand, what is being done to Mizar, and some very miniscule chance of 
influencing it.

I am very sad, that this is about the only working advice, how to take 
a bit more active part in the world's largest math formalization effort. 
I have tried too often to change it, without any visible success.

Best, Josef