Mizar for Linux

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

The Linux port of Mizar system was mainly done by Adam Naumowicz,
supported by Czeslaw Bylinski, Artur Kornilowicz, Bartlomiej
Sorulski and other members of Bialystok Mizar development team.

Questions, comments and bug reports should be sent to <mus@mizar.org>.

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/