Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Announcement Elbe 1.65

view this post on Zulip Email Gateway (Aug 19 2022 at 10:37):

From: "Jens-D. Doll" <jd@cococo.de>
Elbe 1.65 will hopefully go live on Thursday before Easter, see attachment.

Greetings, Jens
itworks.jpg

Last updated: Feb 15 2026 at 05:19 UTC