author wenzelm
Sun, 29 Sep 2013 12:17:02 +0200
changeset 53978 65c893e0849f
parent 51051 4f89c21ca567
child 54034 07844b536810
permissions -rw-r--r--
updated for release;

Subject: Announcing Isabelle2013-1

Isabelle2013-1 is now available.

This version consolidates Isabelle2013-1 and introduces numerous
improvements, see the NEWS file in the distribution for more details.
Some highlights are:


You may get Isabelle2013 from the following mirror sites:

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