Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Promises Kept?


view this post on Zulip Email Gateway (Aug 18 2022 at 19:03):

From: Jens Doll <jd@cococo.de>
Although my project is progressing, there are some hindrances, which
cost a lot of time. So I have to withdraw announcements

a) Elbe 1.5 will not be published in January 2012
b) the next version is not for one University only
(we have got a dozen of them here in Hamburg, of which I know four of
them ...)

Happy Reasoning,
Jens


Last updated: May 06 2024 at 16:21 UTC