ANNOUNCE
author wenzelm
Sun Feb 24 21:45:11 2002 +0100 (2002-02-24)
changeset 12927 b7c916bf3332
parent 11600 bbd6268e0b4b
child 12964 2ac9265b2cd5
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 This release clarifies long-standing issues at large, providing of
     8 more comfortable and robust environment.
     9 
    10 In this release a lot of important issues of existing concepts 
    11 
    12 The most prominent highlights of Isabelle2001 are as follows.  See the
    13 NEWS file distributed with Isabelle for more details.
    14 
    15   * Specific support for Poly/ML 4.1.1
    16     Faster, manages large heaps.
    17 
    18   * Meta-level proof terms (Stefan Berghofer)
    19 
    20 You may get Isabelle2001 from any of the following mirror sites:
    21 
    22   Cambridge (UK)    http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/
    23   Munich (Germany)  http://isabelle.in.tum.de/dist/
    24   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