ANNOUNCE
changeset 12964 2ac9265b2cd5
parent 12927 b7c916bf3332
child 12983 7d13480ee668
equal deleted inserted replaced
12963:73fb6a200e36 12964:2ac9265b2cd5
     2 Subject: Announcing Isabelle2002
     2 Subject: Announcing Isabelle2002
     3 To: isabelle-users@cl.cam.ac.uk
     3 To: isabelle-users@cl.cam.ac.uk
     4 
     4 
     5 Isabelle2002 is now available.
     5 Isabelle2002 is now available.
     6 
     6 
     7 This release clarifies long-standing issues at large, providing of
     7 In this release many important aspects of Isabelle have been reworked
     8 more comfortable and robust environment.
     8 to improve robustness and usability (this occasionally causes
       
     9 incompatibility with earlier versions).
     9 
    10 
    10 In this release a lot of important issues of existing concepts 
    11 The most prominent highlights of Isabelle2002 are as follows; see the
       
    12 NEWS of the distribution for more details.
    11 
    13 
    12 The most prominent highlights of Isabelle2001 are as follows.  See the
    14   * The Isabelle/HOL tutorial has been published as LNCS 2283;
    13 NEWS file distributed with Isabelle for more details.
    15     Isabelle2002 is the official version to go along with that book.
    14 
    16 
    15   * Specific support for Poly/ML 4.1.1
    17   * Explicit proof terms for Isabelle/Pure (Stefan Berghofer);
    16     Faster, manages large heaps.
    18     all object-logics, proof tools etc. will automatically benefit.
    17 
    19 
    18   * Meta-level proof terms (Stefan Berghofer)
    20   * Interation of locales
    19 
    21 
    20 You may get Isabelle2001 from any of the following mirror sites:
    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:
    21 
    28 
    22   Cambridge (UK)    http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/
    29   Cambridge (UK)    http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/
    23   Munich (Germany)  http://isabelle.in.tum.de/dist/
    30   Munich (Germany)  http://isabelle.in.tum.de/dist/
    24   New Jersey (USA)  ftp://ftp.research.bell-labs.com/dist/smlnj/isabelle/index.html
    31   New Jersey (USA)  ftp://ftp.research.bell-labs.com/dist/smlnj/isabelle/index.html
    25   Stanford (USA)    ftp://rodin.stanford.edu/pub/smlnj/isabelle/index.html
    32   Stanford (USA)    ftp://rodin.stanford.edu/pub/smlnj/isabelle/index.html