distributing of miz files (fwd)

[Czeslaw Bylinski <bylinski@math.uw.bialystok.pl>]

---------- Forwarded message ----------
Date: Fri, 28 Nov 1997 10:39:29 +0900
From: ynakamur <ynakamur@edserve.cs.shinshu-u.ac.jp>
To: mizar-forum@mizar.uw.bialystok.pl
Subject: distributing of miz files

Recently, I wanted to look a miz file(JORDAN5A). 
I could not find it in a FTP site:venus.ci.uw.edu.pl.
    In ver5.2.29, there was not.
    In ver5.2.30.beta, I could not unzip the last disk.
For distributing miz files, I want to ask and propose:
1. Please put them to FTP site as soon as possible, after abstract files are
made public on JFM.
2. fmi.exe's are more convenient than disk's sometimes, because they are smaller.
But, (1)They are not in ver5.2.30.beta,   and
     (2)There are not a description what miz files each fmi.exe contains.
3. If each miz file is in FTP, it is enough for users, because a user is often interested
in only one miz file when he is writing one article.
                                                  Yatsuka Nakamura
                                                   Nagano, Japan