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

[mizar] what's new in mizar 7.9.01?

To: mizar-forum@mizar.uwb.edu.pl
Subject: [mizar] what's new in mizar 7.9.01?
From: Jesse Alama <alama@stanford.edu>
Date: Fri, 02 May 2008 09:56:39 -0700

What are some of the notable changes to mizar in the latest version
(7.9.01) compared to the previous version (7.8.10)?

Jesse

-- 
Jesse Alama (alama@stanford.edu)

Follow-Ups:
- Re: [mizar] what's new in mizar 7.9.01?
  - From: Adam Naumowicz <adamn@math.uwb.edu.pl>

Prev by Date: [mizar] html for 4.101.1015
Next by Date: Re: [mizar] what's new in mizar 7.9.01?
Index(es):
- Chronological
- Thread