[mizar] Re: Mizar System 6.1.08_3.26.709

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

As it was announced before, new Mizar versions for both supported platforms
(Win32 and Linux (i386)) have been released.
Linux version can be downloaded as:
ftp://mizar.uwb.edu.pl/pub/system/linux/mizar-6.1.08_3.26.709-linux.tar
The current release contains a complete set of user utilities/shell
scripts with the same functions as their Win32 counterparts.
There are also minor modifications added to the 'install' script due to
recent discussion. Two optional switches are now supported:
--default
(runs the script in non-interactive mode using default values) and
--nodialog
(always runs the script in plain mode - without the use of semigraphical 'dialog'
program - getting input directly from stdin).
For more information refer to README file shipped with the distribution.

In near future we also plan to release an experimental Mizar version for
use on SUN Solaris (Sparc) machines.

Best regards,
Adam Naumowicz