author wenzelm
Sat, 11 Apr 2015 22:09:16 +0200
changeset 60016 6e6cc8c012a2
parent 57524 b8448367f9c7
child 60116 5d90d301ad66
permissions -rw-r--r--
updated for release;

Subject: Announcing Isabelle2015

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:


You may get Isabelle2015 from the following mirror sites:

  Cambridge (UK)
  Munich (Germany)
  Sydney (Australia)