ANNOUNCE
author wenzelm
Wed, 28 May 2008 23:36:19 +0200
changeset 27010 4856b752a57c
parent 27007 c1960cad5017
child 27061 a057cb0d7d55
permissions -rw-r--r--
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
27010
wenzelm
parents: 27007
diff changeset
     9
* New version of HOL 'primrec' supporting type-inference and local
wenzelm
parents: 27007
diff changeset
    10
theory targets.
27007
c1960cad5017 added some notable improvements;
wenzelm
parents: 27005
diff changeset
    11
27010
wenzelm
parents: 27007
diff changeset
    12
* New local theory targets for class instantiation and overloading.
27007
c1960cad5017 added some notable improvements;
wenzelm
parents: 27005
diff changeset
    13
27010
wenzelm
parents: 27007
diff changeset
    14
* Support for named dynamic lists of theorems.
17544
929d157d4369 updated for Isabelle2005;
wenzelm
parents: 14624
diff changeset
    15
27007
c1960cad5017 added some notable improvements;
wenzelm
parents: 27005
diff changeset
    16
* Significant speedup of Metis prover, with proper support for
c1960cad5017 added some notable improvements;
wenzelm
parents: 27005
diff changeset
    17
multithreading.
c1960cad5017 added some notable improvements;
wenzelm
parents: 27005
diff changeset
    18
c1960cad5017 added some notable improvements;
wenzelm
parents: 27005
diff changeset
    19
* Simple TTY interface with command-line editing.
c1960cad5017 added some notable improvements;
wenzelm
parents: 27005
diff changeset
    20
c1960cad5017 added some notable improvements;
wenzelm
parents: 27005
diff changeset
    21
* Improved support for the Cygwin platform (Windows).
c1960cad5017 added some notable improvements;
wenzelm
parents: 27005
diff changeset
    22
c1960cad5017 added some notable improvements;
wenzelm
parents: 27005
diff changeset
    23
* Support for Poly/ML 5.2 with improved handling of multithreading and
c1960cad5017 added some notable improvements;
wenzelm
parents: 27005
diff changeset
    24
external processes.
12927
wenzelm
parents: 11600
diff changeset
    25
12983
7d13480ee668 more stuff;
wenzelm
parents: 12964
diff changeset
    26
27005
739d239ba514 prepared for Isabelle2008;
wenzelm
parents: 25306
diff changeset
    27
You may get Isabelle2008 from the following mirror sites:
9928
b7698bd95a94 template;
wenzelm
parents:
diff changeset
    28
17696
eccdee8a0790 adjusted www links
haftmann
parents: 17692
diff changeset
    29
  Cambridge (UK)       http://www.cl.cam.ac.uk/Research/HVG/Isabelle/
eccdee8a0790 adjusted www links
haftmann
parents: 17692
diff changeset
    30
  Munich (Germany)     http://isabelle.in.tum.de/
14616
b167b1b848d8 added sydney mirror
kleing
parents: 14614
diff changeset
    31
  Sydney (Australia)   http://mirror.cse.unsw.edu.au/pub/isabelle/