[Date Prev][Date Next] [Chronological] [Thread] [Top]

Re: [mizar] Schemes, help!



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?  My darkest fear: do I have to use
deffunc's and defpred's every time I want to use a scheme (if
so: I don't like it _at all!)_

You are right, at the moment you have to use deffunc's and
defpred's.  In next versions it will be much better, I suppose.
The change was caused by the plan to improve schematizer;-)

Grzegorz