ANNOUNCE
changeset 12927 b7c916bf3332
parent 11600 bbd6268e0b4b
child 12964 2ac9265b2cd5
equal deleted inserted replaced
12926:cd0dd6e0bf5c 12927:b7c916bf3332
     1 
     1 
     2 Subject: Announcing Isabelle2001
     2 Subject: Announcing Isabelle2002
     3 To: isabelle-users@cl.cam.ac.uk
     3 To: isabelle-users@cl.cam.ac.uk
     4 
     4 
     5 Isabelle2001 is now available.
     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 
     6 
    11 
     7 The most prominent highlights of Isabelle2001 are as follows.  See the
    12 The most prominent highlights of Isabelle2001 are as follows.  See the
     8 NEWS file distributed with Isabelle for more details.
    13 NEWS file distributed with Isabelle for more details.
     9 
    14 
    10   * Specific support for Poly/ML 4.1.1
    15   * Specific support for Poly/ML 4.1.1