Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle/UTP and CyPhyAssure tools for Isabelle


view this post on Zulip Email Gateway (May 23 2023 at 21:56):

From: Makarius <makarius@sketis.net>
How about this one?

https://github.com/isabelle-utp/CyPhyAssure/blob/main/Isabelle2022-CyPhyAssure.diff

Makarius

view this post on Zulip Email Gateway (May 25 2023 at 13:08):

From: Lex Bailey <cl-isabelle-users@lists.cam.ac.uk>
Yes, we are moving to Isabelle 2022 generally, but some of us are still
using 2021.
Eventually we won't need the 2021version at all (hopefully).

Similarly I'm sure we will move to the 2023 release when that happens, but
for now we need to be able to make releases of the versions we use now, for
teaching.

Thanks.


Last updated: Mar 28 2024 at 12:29 UTC