Re: [mizar] vocabullaries

[Adam Naumowicz <adamn@math.uwb.edu.pl>]

On Wed, 3 Dec 2008, Adam Naumowicz wrote:

> I also like the idea of "glueing together" the *.miz and *.voc files - it's 
> the way it is now.

Of course I wanted to say here that it's an unnecessary _nuisance_ for 
many novice authors the way it is today :-)

Adam Naumowicz

======================================================================
Department of Applied Logic            fax. +48 (85) 745-7662
Institute of Computer Science          tel. +48 (85) 745-7559 (office)
University of Bialystok                e-mail: adamn@mizar.org
Sosnowa 64, 15-887 Bialystok, Poland   http://math.uwb.edu.pl/~adamn/
======================================================================