[isabelle] River Elbe Revisited

Good morning,

after defending from several attacks here locally I'm back and will soon continue the work on the Isabelle interface to/from my software. Meanwhile I replaced a very slow component from Microsoft by a faster one and published the new

Elbe 1.69

source navigator. The icon contains more blue color now instead of grey and some bugs have been removed.

Happy reasoning,

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