[Date Prev][Date Next] [Chronological] [Thread] [Top]

[mizar] Mizar 7.8.04 MML 4.81.962

To: mizar-forum@mizar.uwb.edu.pl
Subject: [mizar] Mizar 7.8.04 MML 4.81.962
From: Adam Grabowski <adam@math.uwb.edu.pl>
Date: Tue, 27 Mar 2007 12:43:26 +0200 (CEST)

  Dear All,
  the newest bugfix version of the Mizar Mathematical Library
together with newest binaries is now publicly available.
  Regards,
  Adam Grabowski
  Library Committee of the Association of Mizar Users

Follow-Ups:
- [mizar] Re: Mizar 7.8.04 MML 4.81.962
  - From: Jesse Alama <alama@stanford.edu>

Prev by Date: Re: [mizar] Re: Mizar 7.8.04 MML 4.80.962
Next by Date: [mizar] Re: Mizar 7.8.04 MML 4.81.962
Index(es):
- Chronological
- Thread