Hi Andrzej, On Wed, 20 Sep 2006, Andrzej Trybulec wrote:
Come on. It looks horrible as demo goes. But look to an advaced article, e.g. JORDAN: the length of the article - about 6500 lines, the length of the Environment Declaration - about 50 lines. So we are talking about less than 1% of the text.I agree that for newbies it is disgusting.
That's exactly the point. Mizar is very good at discouraging newbies. And with arguments like "we have more important work to do, than to add simple features for newbies" it will hardly change.
Best, Josef