[mizar] Mizar System 6.1.08_3.26.709

[Adam Grabowski <adam@math.uwb.edu.pl>]

  There is a new version of the Mizar system (6.1.08) and
the Mizar Mathematical Library (3.26.709) available at
  ftp://mizar.uwb.edu.pl/pub/system/ver6.1.08_3.26.709/
(you may also follow the link at the top of Mizar homepage
  http://mizar.org/).
  Both distributions: Win32 and Linux come with some
new batches/shells. I will describe briefly
some major changes in Win32 distribution, uppercase
letters will be used only to emphasize names of batches.
Names of shells in the Linux distro are the same.
  Two batches: ENV and PRE were replaced by MIZ2PREL.
It may be used in order to create a local data base.
  Because MIZ and REV batches were removed, it strongly
recommended to use MIZF and REVF for calling the Mizar
verifier and article-enhancing programs.
  The executable ERRP (special `error printer') was used
only in removed batches, so it was deleted also.
  Another program which was removed from Win32
distribution is BIBART (absent in the Linux version).
You may use an EXAMPLE.BIB file to make your own bibliography file
(before submitting Mizar article to the MML).
This file comes with Linux version of Mizar system as well.

  Regards,
  Adam Grabowski
  Library Committee of the Association of Mizar Users