Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] River Elbe Revisited

Email Gateway (Aug 19 2022 at 14:45):

From: "Jens-D. Doll" <jd@cococo.de>
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,
Jens

Last updated: Nov 21 2024 at 12:39 UTC