[mizar] New Mizar version - 6.1.11_3.33.722

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

  Dear Mizarians,
  this is to inform you that the new version of Mizar system has
been released. Adam Naumowicz prepared also experimental
version for Intel machines running Solaris. Supported platforms
are, as of now:
  - Win32,
  - Linux (x86),
  - Solaris (x86, tested on Solaris 8).
  The versions are available for download from our ftp server
  ftp://mizar.uwb.edu.pl/pub/system/current/
where you can find files
  mizar-6.1.11_3.33.722-<supported_platform>.tar or .exe.
  Borland Delphi is no longer used for Win32 version. Now it is
compiled with FreePascal v.1.0.6. Binaries are packed with UPX
executable packer.
  For (im)patient users, the Mizar verifier can now be called with
the option -q, in the so-called 'quiet mode'. It may be slightly
annoying (just try it if you are curious what I mean ;-)) but it is
significantly faster. Again 'thanks' goes to Adam Naumowicz.
  As Piotr Rudnicki recently suggested, we changed property name
'antisymmetry' into 'asymmetry' to avoid confusion with the notion
used in the Mizar Mathematical Library. The rest of MML changes
is described on the 'Revisions' page. For those of you using
intensively REAL_2 article - apologies, huge changes had to be done.
  Happy Mizaring,

  Adam Grabowski
  Library Committee of the Association of Mizar Users