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

[mizar] MML CVS

To: <mizar-forum@mizar.uwb.edu.pl>
Subject: [mizar] MML CVS
From: Josef Urban <urban@ktilinux.ms.mff.cuni.cz>
Date: Fri, 17 May 2002 19:47:42 +0200 (CEST)

To support comparative studies in the modern history of formalized 
mathematics ( ;-) ), the CVS of the Mizar Mathematical Library has been 
created and published on the web 
(http://alioth.uwb.edu.pl/cgi-bin/viewcvs.cgi). 
A total amount of 90 revisions is now available, including the original 
(authors') versions.
If you are a lucky owner of a MML version prior to 2.00 (Mizar version < 
5.2.16), please send a note to the Library Committee 
(mml@mizar.uwb.edu.pl), to make this as complete as possible.

The CVS size is now about 200M, if you want to mirror, please rather 
write to softadm@mizar.uwb.edu.pl instead of getting it version-by-version 
(in that case the download size would be several Giga).


Regards,
Josef Urban

Prev by Date: [mizar] Call for Papers - Participation (fwd)
Next by Date: [mizar] HIDDEN
Index(es):
- Chronological
- Thread