ANNOUNCE
author wenzelm
Wed Feb 27 18:41:28 2002 +0100 (2002-02-27)
changeset 12964 2ac9265b2cd5
parent 12927 b7c916bf3332
child 12983 7d13480ee668
permissions -rw-r--r--
tuned;
wenzelm@9928
     1
wenzelm@12927
     2
Subject: Announcing Isabelle2002
wenzelm@9928
     3
To: isabelle-users@cl.cam.ac.uk
wenzelm@9928
     4
wenzelm@12927
     5
Isabelle2002 is now available.
wenzelm@12927
     6
wenzelm@12964
     7
In this release many important aspects of Isabelle have been reworked
wenzelm@12964
     8
to improve robustness and usability (this occasionally causes
wenzelm@12964
     9
incompatibility with earlier versions).
wenzelm@12927
    10
wenzelm@12964
    11
The most prominent highlights of Isabelle2002 are as follows; see the
wenzelm@12964
    12
NEWS of the distribution for more details.
wenzelm@12964
    13
wenzelm@12964
    14
  * The Isabelle/HOL tutorial has been published as LNCS 2283;
wenzelm@12964
    15
    Isabelle2002 is the official version to go along with that book.
wenzelm@10161
    16
wenzelm@12964
    17
  * Explicit proof terms for Isabelle/Pure (Stefan Berghofer);
wenzelm@12964
    18
    all object-logics, proof tools etc. will automatically benefit.
wenzelm@12964
    19
wenzelm@12964
    20
  * Interation of locales
wenzelm@9928
    21
wenzelm@12964
    22
  * Specific support for Poly/ML 4.1.1 and PolyML/4.1.2
wenzelm@12964
    23
    (manage larger heaps, slightly faster).
wenzelm@10162
    24
wenzelm@12964
    25
wenzelm@10166
    26
wenzelm@12964
    27
You may get Isabelle2002 from any of the following mirror sites:
wenzelm@9928
    28
wenzelm@9928
    29
  Cambridge (UK)    http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/
wenzelm@9928
    30
  Munich (Germany)  http://isabelle.in.tum.de/dist/
wenzelm@10161
    31
  New Jersey (USA)  ftp://ftp.research.bell-labs.com/dist/smlnj/isabelle/index.html
wenzelm@10161
    32
  Stanford (USA)    ftp://rodin.stanford.edu/pub/smlnj/isabelle/index.html