Mizar 6.0.00 for Linux

[Mariusz Zynel <mariusz@math.uwb.edu.pl>]

Dear Mizar enthusiasts

It is a great pleasure for me to inform that Mizar system is now
available on Linux platform. Installation package containing 
executables and current data base can be download via anonymous 
ftp from:
  ftp://mizar.uwb.edu.pl/pub/system/linux/mizar-6.0.00-Linux.tgz

This is the first official Linux release of Mizar system. Any
suggestions, comments and bug reports are very welcomed and 
should be sent to <mus@mizar.org>.

Best regards

-- 
        .
Mariusz Zynel

Institute of Mathematics   |   phone: +48 (85) 745 75 52
University of Bialystok    |
Akademicka 2 St            |   mailto:mariusz@math.uwb.edu.pl
15-267 Bialystok           |
Poland                     |   http://math.uwb.edu.pl/~mariusz/