| author | wenzelm |
| Wed, 07 Sep 2011 20:49:45 +0200 | |
| changeset 45682 | a0459c50cfc9 |
| parent 41853 | 7d035da21e9c |
| child 45846 | f80d918f8ac0 |
| permissions | -rw-r--r-- |
1 Subject: Announcing Isabelle2011-1
2 To: isabelle-users@cl.cam.ac.uk
4 Isabelle2011-1 is now available.
6 This version improves upon Isabelle2011, see the NEWS file in the
7 distribution for more details. Some important changes are:
9 * FIXME
12 You may get Isabelle2011-1 from the following mirror sites:
14 Cambridge (UK) http://www.cl.cam.ac.uk/research/hvg/Isabelle/
15 Munich (Germany) http://isabelle.in.tum.de/
16 Sydney (Australia) http://mirror.cse.unsw.edu.au/pub/isabelle/