[isabelle] Elbe 1.41 Update



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





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