Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] New Version of Elbe

view this post on Zulip Email Gateway (Aug 18 2022 at 18:45):

From: Jens Doll <jd@cococo.de>
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

Last updated: Apr 19 2024 at 16:20 UTC