ANNOUNCE
changeset 33842 efa1b89c79e0
parent 30897 44cba7df4003
child 33866 34e45b2afe43
     1.1 --- a/ANNOUNCE	Sat Nov 21 20:44:16 2009 +0100
     1.2 +++ b/ANNOUNCE	Sun Nov 22 14:13:18 2009 +0100
     1.3 @@ -1,40 +1,16 @@
     1.4 -Subject: Announcing Isabelle2009
     1.5 +Subject: Announcing Isabelle2009-1
     1.6  To: isabelle-users@cl.cam.ac.uk
     1.7  
     1.8 -Isabelle2009 is now available.
     1.9 +Isabelle2009-1 is now available.
    1.10  
    1.11 -This release significantly improves upon Isabelle2008, see the NEWS
    1.12 +This release improves upon Isabelle2009 in many ways, see the NEWS
    1.13  file in the distribution for more details.  Some important changes
    1.14  are:
    1.15  
    1.16 -* Complete re-implementation of locales, with proper support for local
    1.17 -syntax, and more general locale expressions.
    1.18 -
    1.19 -* New 'find_consts' and 'find_theorems' facilities, together with
    1.20 -"auto solve" feature of toplevel goal statements.
    1.21 -
    1.22 -* HOL: reorganization of main logic images.
    1.23 -
    1.24 -* HOL: improved implementation of Sledgehammer, based on generic ATP
    1.25 -manager; support for remote ATPs.
    1.26 -
    1.27 -* HOL: numerous library improvements.
    1.28 -
    1.29 -* Updated and extended versions of main reference manuals.
    1.30 -
    1.31 -* Simplified arrangement of Isabelle startup scripts and settings
    1.32 -directory.
    1.33 -
    1.34 -* Simplified programming interfaces for all Isar language elements.
    1.35 -
    1.36 -* General high-level support for concurrent ML programming.
    1.37 -
    1.38 -* Parallel proof checking within Isar theories.
    1.39 -
    1.40 -* Haskabelle importer from Haskell source files to Isar theories.
    1.41 +* FIXME
    1.42  
    1.43  
    1.44 -You may get Isabelle2009 from the following mirror sites:
    1.45 +You may get Isabelle2009-1 from the following mirror sites:
    1.46  
    1.47    Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle/
    1.48    Munich (Germany)     http://isabelle.in.tum.de/