ANNOUNCE
changeset 27007 c1960cad5017
parent 27005 739d239ba514
child 27010 4856b752a57c
     1.1 --- a/ANNOUNCE	Wed May 28 22:54:05 2008 +0200
     1.2 +++ b/ANNOUNCE	Wed May 28 23:33:15 2008 +0200
     1.3 @@ -3,10 +3,25 @@
     1.4  
     1.5  Isabelle2008 is now available.
     1.6  
     1.7 -This release mostly consolidates Isabelle2007, see the NEWS file in
     1.8 -the distribution for more details.  Some notable improvements are:
     1.9 +This release consolidates Isabelle2007, see the NEWS file in the
    1.10 +distribution for more details.  Some notable improvements are:
    1.11 +
    1.12 +* New version of HOL 'primrec' with local theory support.
    1.13 +
    1.14 +* New local theory targets for class instantiation and unrestricted
    1.15 +overloading.
    1.16 +
    1.17 +* Support for dynamic lists of named theorems.
    1.18  
    1.19 -* ...
    1.20 +* Significant speedup of Metis prover, with proper support for
    1.21 +multithreading.
    1.22 +
    1.23 +* Simple TTY interface with command-line editing.
    1.24 +
    1.25 +* Improved support for the Cygwin platform (Windows).
    1.26 +
    1.27 +* Support for Poly/ML 5.2 with improved handling of multithreading and
    1.28 +external processes.
    1.29  
    1.30  
    1.31  You may get Isabelle2008 from the following mirror sites: