Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Announcing Isabelle2013-1


view this post on Zulip Email Gateway (Aug 19 2022 at 12:53):

From: Makarius <makarius@sketis.net>
Isabelle2013-1 is now available.

This version consolidates Isabelle2013 and introduces numerous
improvements, see the NEWS file in the distribution for more details.
Some highlights are:

You may get Isabelle2013-1 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/

view this post on Zulip Email Gateway (Aug 19 2022 at 12:53):

From: Makarius <makarius@sketis.net>
Special thanks to anybody who participated in the final testing of release
candidates.

Seasoned users are especially encouraged to try out the new toplevel
application wrapper that is available on all platforms, without requiring
a command line.

Makarius


Last updated: Mar 28 2024 at 12:29 UTC