ANNOUNCE
author wenzelm
Fri May 28 11:23:34 2010 +0200 (2010-05-28)
changeset 37159 07f3f5a03e98
parent 33914 d17f447fec02
child 37317 5164c4ec787b
permissions -rw-r--r--
some updates for release;
     1 Subject: Announcing Isabelle2009-2
     2 To: isabelle-users@cl.cam.ac.uk
     3 
     4 Isabelle2009-2 is now available.
     5 
     6 This release improves upon Isabelle2009-1 in many respects, see the
     7 NEWS file in the distribution for more details.  Some notable changes
     8 are:
     9 
    10 * FIXME
    11 
    12 
    13 You may get Isabelle2009-2 from the following mirror sites:
    14 
    15   Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle/
    16   Munich (Germany)     http://isabelle.in.tum.de/
    17   Sydney (Australia)   http://mirror.cse.unsw.edu.au/pub/isabelle/