ANNOUNCE
author wenzelm
Fri, 13 Mar 2009 19:58:26 +0100
changeset 30510 4120fc59dd85
parent 27085 dbf4f791953d
child 30848 c57b57546a07
permissions -rw-r--r--
unified type Proof.method and pervasive METHOD combinators;
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/