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

[mizar] MoMM 0.2

MoMM ver. 0.2 is available at 
http://kti.ms.mff.cuni.cz/~urban/MoMM/MoMM.tar.gz . 

Newly added is export of subproofs, scheme justifications and 
properties.
The adjusted version of mizar.el taking care of this additions is in the 
CVS at http://kti.ms.mff.cuni.cz/cgi-bin/viewcvs.cgi/mizarmode/mizar.el .
MoMM now uses CLIB 0.7, and takes about 30-40% less memory (thanks to new 
garbage collected term management in CLIB).

Josef Urban