author | wenzelm |
Wed, 15 Apr 2015 15:57:58 +0200 | |
changeset 60078 | 019347f8dc88 |
parent 60016 | 6e6cc8c012a2 |
child 60116 | 5d90d301ad66 |
permissions | -rw-r--r-- |
Subject: Announcing Isabelle2015 To: isabelle-users@cl.cam.ac.uk Isabelle2015 is now available. This version improves upon Isabelle2014 in many ways, see the NEWS file in the distribution for more details. Important points are: * FIXME 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/