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

Re: distributing of miz files

I have checked FTP Mizar site at venus.ci.uw.edu.pl .
Now there are corrected zipped files in directory:
    ver5.2.30.beta
In the new directory
    fm20-21.miz.zip
there are zipped mizar files collected in distributed
files named fm20 and fm21. The file catalog.zip - it is
contents of whole Mizar Mathematical Library.

We have also mirror at sunsite.icm.edu.pl/pub/msdos/mizug/
which is mirrored every Sunday.

-- Roman Matuszewski
   Mizar Group