wenzelm@9928: 
wenzelm@12927: Subject: Announcing Isabelle2002
wenzelm@9928: To: isabelle-users@cl.cam.ac.uk
wenzelm@9928: 
wenzelm@12927: Isabelle2002 is now available.
wenzelm@12927: 
wenzelm@12964: In this release many important aspects of Isabelle have been reworked
wenzelm@12964: to improve robustness and usability (this occasionally causes
wenzelm@12964: incompatibility with earlier versions).
wenzelm@12927: 
wenzelm@12964: The most prominent highlights of Isabelle2002 are as follows; see the
wenzelm@12964: NEWS of the distribution for more details.
wenzelm@12964: 
wenzelm@12964:   * The Isabelle/HOL tutorial has been published as LNCS 2283;
wenzelm@12964:     Isabelle2002 is the official version to go along with that book.
wenzelm@10161: 
wenzelm@12964:   * Explicit proof terms for Isabelle/Pure (Stefan Berghofer);
wenzelm@12964:     all object-logics, proof tools etc. will automatically benefit.
wenzelm@12964: 
wenzelm@12964:   * Interation of locales
wenzelm@9928: 
wenzelm@12964:   * Specific support for Poly/ML 4.1.1 and PolyML/4.1.2
wenzelm@12964:     (manage larger heaps, slightly faster).
wenzelm@10162: 
wenzelm@12964: 
wenzelm@10166: 
wenzelm@12964: You may get Isabelle2002 from any of the following mirror sites:
wenzelm@9928: 
wenzelm@9928:   Cambridge (UK)    http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/
wenzelm@9928:   Munich (Germany)  http://isabelle.in.tum.de/dist/
wenzelm@10161:   New Jersey (USA)  ftp://ftp.research.bell-labs.com/dist/smlnj/isabelle/index.html
wenzelm@10161:   Stanford (USA)    ftp://rodin.stanford.edu/pub/smlnj/isabelle/index.html