Email Gateway (Aug 18 2022 at 13:25): Email Gateway (Aug 18 2022 at 13:25):From: Jens Doll <jd@cococo.de>
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
Last updated: May 03 2024 at 08:18 UTC