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