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.69source navigator. The icon contains more blue color now instead of grey and some bugs have been removed.
Happy reasoning, Jens