Mizar ver. 6.0.10 for Linux

[Adam Naumowicz <adamn@math.uwb.edu.pl>]

New Mizar version for Linux (6.0.10) is now available at address:

ftp://mizar.uwb.edu.pl/pub/system/linux/mizar-6.0.10-linux.tar

Some bugs have been corrected (reporting errors in position 0,0 that
messed 'errflag''s output and one incorrect limit found in checker by
Jozef Urban). 
This version also contains 'constr' utility, as a replacement
for 'thconstr' and 'scconstr'. 
A new tool called 'reliters' has been added. It performs checking of
irrelevant steps in iterated equalities.

Adam Naumowicz