Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Announcing Isabelle2011


view this post on Zulip Email Gateway (Aug 18 2022 at 16:52):

From: Makarius <makarius@sketis.net>
Isabelle2011 is now available.

This version significantly improves upon Isabelle2009-2, see the NEWS
file in the distribution for more details. Some notable changes are:

You may get Isabelle2011 from the following mirror sites:

Cambridge (UK) http://www.cl.cam.ac.uk/research/hvg/Isabelle/
Munich (Germany) http://isabelle.in.tum.de/
Sydney (Australia) http://mirror.cse.unsw.edu.au/pub/isabelle/


Last updated: Mar 29 2024 at 08:18 UTC