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

[mizar] Mathematics Subject Classification of Mizar articles

To: mizar-forum@mizar.uwb.edu.pl
Subject: [mizar] Mathematics Subject Classification of Mizar articles
From: Josef Urban <urban@ktilinux.ms.mff.cuni.cz>
Date: Sun, 15 Oct 2006 05:58:09 +0200 (CEST)

Hi,

Marco Riccardi has started the following wiki page:http://wiki.mizar.org/cgi-bin/twiki/view/Mizar/MathematicsSubjectClassification.

Shouldn't this classification be from now on a mandatory entry in theBibTex file for newly submitted articles?


Josef

Prev by Date: Re: [mizar] Mizar lexicon
Next by Date: [mizar] Question on Mizar grammar
Index(es):
- Chronological
- Thread