Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Elbe 1.41 Update

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

From: Jens Doll <jd@cococo.de>
There is now an enhanced version of the source editor and navigator Elbe
available. It works for Isabelle files and now contains

• a verb box for keywords
• an XML structuring facility
• Fortran, PL1 and JAVA document types

with several bugs removed. Please have a look at

http://cococo.de/Elbe

Regards,
Jens

Last updated: Nov 21 2024 at 12:39 UTC