Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Where to post Elbe 1.1 bugs/feature requests?

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

From: Jens Doll <jd@cococo.de>
Hello all,

if you work on a Windows machine, you might want to try the Elbe 1.1 editor,
http://cococo.de/Elbe
which works for Isabelle files and is more stable than the version before. Bugs and improvement requests can be sent via a ssl form
https://cococo.de/Context_IT_GmbH/index.jsp?content=contact
and will be processed with small delay.
Greetings,
Jens

Last updated: Apr 26 2024 at 16:20 UTC