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

Re: [mizar] Schemes, help!



Dear Grzegorz,

>In next versions it will be much better, I suppose.

Okay, if that's the plan then I will stop complaining.
Thanks for the feedback.

And I _am_ very happy that the non-clusterable attributes
have vanished.

Freek