author | wenzelm |
Wed, 28 May 2008 22:50:30 +0200 | |
changeset 27005 | 739d239ba514 |
parent 25306 | 351ca94cabdb |
child 27007 | c1960cad5017 |
permissions | -rw-r--r-- |
Subject: Announcing Isabelle2008 To: isabelle-users@cl.cam.ac.uk Isabelle2008 is now available. This release mostly consolidates Isabelle2007, see the NEWS file in the distribution for more details. Some notable improvements are: * ... You may get Isabelle2008 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/