Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Announcing Isabelle2015


view this post on Zulip Email Gateway (Aug 22 2022 at 09:56):

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

This version improves upon Isabelle2014 in many ways, see the NEWS file in
the distribution for more details. Some important points are as follows.

You may get Isabelle2015 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 22 2022 at 09:56):

From: Larry Paulson <lp15@cam.ac.uk>
Many thanks, as always, to Makarius for organising this release!

I’d like to take this opportunity to plug my own contributions:

Larry


Last updated: Mar 28 2024 at 20:16 UTC