Mizar Forum Archive

[Mariusz Zynel <mariuszz@math.uw.bialystok.pl>]

I'd like to inform that the archived mail of Mizar Forum is stored 
on the Mizar FTP Archive:

  ftp://mizar.uw.bialystok.pl/pub

Mizar Forum archive is divided into files created monthly. They are
available through HTML browser:
 
  http://mizar.uw.bialystok.pl/forum.htm

or through an usual ftp client. The address is:

  mizar.uw.bialystok.pl

and the directory path is:

  pub/forum

Our FTP Archive allows to tar and compress (or gzip) on-the-fly. 

-------------------------------------------------------------------
        .
Mariusz Zynel                     
Institute of Mathematics
Warsaw University, Bialystok Division

mariuszz@math.uw.bialystok.pl