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

[mizar] what's new in mizar?

To: mizar-forum@mizar.uwb.edu.pl
Subject: [mizar] what's new in mizar?
From: Jesse Alama <alama@stanford.edu>
Date: Wed, 12 Dec 2007 19:40:57 -0800

It looks like there's been a new release of mizar (version 7.8.07, MML
4.93.997).  What are the new features?

Curious,

Jesse

-- 
Jesse Alama (alama@stanford.edu)

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

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