[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



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