ANNOUNCE
author wenzelm
Sat Apr 11 22:09:16 2015 +0200 (2015-04-11)
changeset 60016 6e6cc8c012a2
parent 57524 b8448367f9c7
child 60116 5d90d301ad66
permissions -rw-r--r--
updated for release;
wenzelm@60016
     1
Subject: Announcing Isabelle2015
wenzelm@9928
     2
To: isabelle-users@cl.cam.ac.uk
wenzelm@9928
     3
wenzelm@60016
     4
Isabelle2015 is now available.
wenzelm@54034
     5
wenzelm@60016
     6
This version improves upon Isabelle2014 in many ways, see the NEWS file in
wenzelm@60016
     7
the distribution for more details. Important points are:
wenzelm@57452
     8
wenzelm@60016
     9
* FIXME
wenzelm@54034
    10
wenzelm@12983
    11
wenzelm@60016
    12
You may get Isabelle2015 from the following mirror sites:
wenzelm@9928
    13
haftmann@27085
    14
  Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle/
haftmann@17696
    15
  Munich (Germany)     http://isabelle.in.tum.de/
kleing@14616
    16
  Sydney (Australia)   http://mirror.cse.unsw.edu.au/pub/isabelle/