Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] River Elbe Revisited


view this post on Zulip 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: Mar 29 2024 at 04:18 UTC