[isabelle] Elbe Viewer



There is also a new version of Elbe, 0.98, which is a help to view/print 
Isabelle files in windows:

http://www.cococo.de/index.jsp?content=elbe 

 Some bugs have been removed and other languages have been included (GAP 
and Cobol lexicals).

Jens





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.