author wenzelm
Sat, 14 Apr 2012 12:46:45 +0200
changeset 47462 8f85051693d1
parent 44975 f80d918f8ac0
child 47869 fa59eb662e6c
permissions -rw-r--r--
some updates for release;

Subject: Announcing Isabelle2012

Isabelle2012 is now available.

This version significantly improves upon Isabelle2011-1, see the NEWS
file in the distribution for more details.  Some notable changes are:


You may get Isabelle2012 from the following mirror sites:

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