Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ANNOUNCE
author wenzelm
Fri, 16 Jan 2009 21:24:33 +0100
changeset 29520 7402322256b0
parent 27085 dbf4f791953d
child 30848 c57b57546a07
permissions -rw-r--r--
define_state: use empty_state; edit_document: report_updates before running commands; tuned;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
27005
739d239ba514 prepared for Isabelle2008;
wenzelm
parents: 25306
diff changeset 
     1
 
Subject: Announcing Isabelle2008
9928
b7698bd95a94 template;
wenzelm
parents:
diff changeset 
     2
 
To: isabelle-users@cl.cam.ac.uk
b7698bd95a94 template;
wenzelm
parents:
diff changeset 
     3
 







27005






739d239ba514
prepared for Isabelle2008;



wenzelm


parents: 
25306

diff
changeset




     4


Isabelle2008 is now available.








17544






929d157d4369
updated for Isabelle2005;



wenzelm


parents: 
14624

diff
changeset




     5









27007






c1960cad5017
added some notable improvements;



wenzelm


parents: 
27005

diff
changeset




     6


This release consolidates Isabelle2007, see the NEWS file in the













c1960cad5017
added some notable improvements;



wenzelm


parents: 
27005

diff
changeset




     7


distribution for more details.  Some notable improvements are:













c1960cad5017
added some notable improvements;



wenzelm


parents: 
27005

diff
changeset




     8









27066






dbf97292e5fd
some fine-tuning;



wenzelm


parents: 
27061

diff
changeset




     9


* HOL: significant speedup of Metis prover; proper support for













dbf97292e5fd
some fine-tuning;



wenzelm


parents: 
27061

diff
changeset




    10


multithreading.













dbf97292e5fd
some fine-tuning;



wenzelm


parents: 
27061

diff
changeset




    11














dbf97292e5fd
some fine-tuning;



wenzelm


parents: 
27061

diff
changeset




    12


* HOL: new version of 'primrec' command supporting type-inference and













dbf97292e5fd
some fine-tuning;



wenzelm


parents: 
27061

diff
changeset




    13


local theory targets.













dbf97292e5fd
some fine-tuning;



wenzelm


parents: 
27061

diff
changeset




    14














dbf97292e5fd
some fine-tuning;



wenzelm


parents: 
27061

diff
changeset




    15


* HOL: improved support for termination proofs of recursive function













dbf97292e5fd
some fine-tuning;



wenzelm


parents: 
27061

diff
changeset




    16


definitions.








27007






c1960cad5017
added some notable improvements;



wenzelm


parents: 
27005

diff
changeset




    17









27010





wenzelm


parents: 
27007

diff
changeset




    18


* New local theory targets for class instantiation and overloading.








27007






c1960cad5017
added some notable improvements;



wenzelm


parents: 
27005

diff
changeset




    19









27010





wenzelm


parents: 
27007

diff
changeset




    20


* Support for named dynamic lists of theorems.








17544






929d157d4369
updated for Isabelle2005;



wenzelm


parents: 
14624

diff
changeset




    21









27007






c1960cad5017
added some notable improvements;



wenzelm


parents: 
27005

diff
changeset




    22


* Simple TTY interface with command-line editing.













c1960cad5017
added some notable improvements;



wenzelm


parents: 
27005

diff
changeset




    23














c1960cad5017
added some notable improvements;



wenzelm


parents: 
27005

diff
changeset




    24


* Improved support for the Cygwin platform (Windows).













c1960cad5017
added some notable improvements;



wenzelm


parents: 
27005

diff
changeset




    25














c1960cad5017
added some notable improvements;



wenzelm


parents: 
27005

diff
changeset




    26


* Support for Poly/ML 5.2 with improved handling of multithreading and













c1960cad5017
added some notable improvements;



wenzelm


parents: 
27005

diff
changeset




    27


external processes.








12927





wenzelm


parents: 
11600

diff
changeset




    28









27066






dbf97292e5fd
some fine-tuning;



wenzelm


parents: 
27061

diff
changeset




    29


* Reorganized and updated version of Isabelle/Isar Reference Manual.








27061






a057cb0d7d55
reorganized isar-ref;



wenzelm


parents: 
27010

diff
changeset




    30









12983






7d13480ee668
more stuff;



wenzelm


parents: 
12964

diff
changeset




    31









27005






739d239ba514
prepared for Isabelle2008;



wenzelm


parents: 
25306

diff
changeset




    32


You may get Isabelle2008 from the following mirror sites:








9928






b7698bd95a94
template;



wenzelm


parents: 

diff
changeset




    33









27085






dbf4f791953d
adjusted location of cambridge website



haftmann


parents: 
27066

diff
changeset




    34


  Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle/








17696






eccdee8a0790
adjusted www links



haftmann


parents: 
17692

diff
changeset




    35


  Munich (Germany)     http://isabelle.in.tum.de/








14616






b167b1b848d8
added sydney mirror



kleing


parents: 
14614

diff
changeset




    36


  Sydney (Australia)   http://mirror.cse.unsw.edu.au/pub/isabelle/















isabelle