Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Launch of Elbe 1.51

Email Gateway (Aug 18 2022 at 19:19):

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

now there is more functionality in the Elbe IDE
(http://cococo.de/Elbe/). The features are

* full authoring of Isabelle proofs at symbol level
* mathematical Font included
* now JAVA, Bash, C++, XML compatible
* Linux and Windows files, (\n or \r\n line endings)
* source navigation by method/procedure/function/lemma
* beautiful print preview
* data items navigation for Fortran and Cobol
* programming aid by keyword/data item/label/lemma name
* batch processing
* regular expressions
* faster load time
...

Please have a look at the product and tell me if you want some/other
features added.

Happy Reasoning,
Jens

Last updated: Apr 26 2024 at 08:19 UTC