ANNOUNCE
author wenzelm
Mon Oct 15 20:36:48 2001 +0200 (2001-10-15)
changeset 11784 b66b198ee29a
parent 11600 bbd6268e0b4b
child 12927 b7c916bf3332
permissions -rw-r--r--
tuned NetRules;
     1 
     2 Subject: Announcing Isabelle2001
     3 To: isabelle-users@cl.cam.ac.uk
     4 
     5 Isabelle2001 is now available.
     6 
     7 The most prominent highlights of Isabelle2001 are as follows.  See the
     8 NEWS file distributed with Isabelle for more details.
     9 
    10   * Specific support for Poly/ML 4.1.1
    11     Faster, manages large heaps.
    12 
    13   * Meta-level proof terms (Stefan Berghofer)
    14 
    15 You may get Isabelle2001 from any of the following mirror sites:
    16 
    17   Cambridge (UK)    http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/
    18   Munich (Germany)  http://isabelle.in.tum.de/dist/
    19   New Jersey (USA)  ftp://ftp.research.bell-labs.com/dist/smlnj/isabelle/index.html
    20   Stanford (USA)    ftp://rodin.stanford.edu/pub/smlnj/isabelle/index.html