Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Launch of Elbe 1.63


view this post on Zulip Email Gateway (Aug 19 2022 at 09:27):

From: Jens Doll <jd@cococo.de>
Hello all,

now there is a new release of the Elbe IDE (http://cococo.de/Elbe/) with more comfort in editing. Also Bugs have been removed and speed has been increased. The current border is now to be found in the Windows kernel Dlls, where several bugs have been identified. I'll try to bypass them in the next release.

Happy Reasoning,
Jens


Last updated: Nov 21 2024 at 12:39 UTC