RE: Mizar conversion project...

From: Herb Martin (HerbM@LearnQuick.Com)
Date: Sun Oct 23 2005 - 23:52:12 MDT


Supposedly (according to Wikipedia:Mizar_system) only
members of the SUM (Association of Mizar Users)
have access to the Pascal source to Mizar.

There is an application here, but the PS fails
to load in my Ghostscript:

ASSOCIATION OF MIZAR USERS
<http://mizar.uwb.edu.pl/sum/>

The Wikipedia reference is here:
http://en.wikipedia.org/wiki/Mizar_system

--
Herb Martin


This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:00:52 MDT