Re: vocabullaries
Adam Naumowicz <[email protected]>
| Newsgroups | gmane.comp.mathematics.mizar |
|---|---|
| Message-ID | <Pine.GSO.4.61.0812031502060.28952@math> |
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: [email protected] Sosnowa 64, 15-887 Bialystok, Poland http://math.uwb.edu.pl/~adamn/ ======================================================================