[isabelle] New Version of Elbe



Hello all,

there is a new version of the Elbe IDE. It now contains a few new
languages and also an improvement for the Isabelle editor:

Elbe 1.32
http://cococo.de/Elbe/


Happy Reasoning,
Jens






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