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

[mizar] changes in 7.8.05

To: mizar-forum@mizar.uwb.edu.pl
Subject: [mizar] changes in 7.8.05
From: Jesse Alama <alama@stanford.edu>
Date: Thu, 05 Jul 2007 10:40:38 -0700

I noticed just today that a new mizar was released (7.8.05, MML
4.83.967).  It looks like this one wasn't announced.  What's new in the
latest version?

Jesse

-- 
Jesse Alama (alama@stanford.edu)
*60: Something remains to be proved in this case

Follow-Ups:
- Re: [mizar] changes in 7.8.05
  - From: Adam Naumowicz <adamn@math.uwb.edu.pl>

Next by Date: [mizar] wiki.mizar.org down?
Index(es):
- Chronological
- Thread