template;
authorwenzelm
Mon Sep 11 20:41:58 2000 +0200 (2000-09-11)
changeset 9928b7698bd95a94
parent 9927 7a9652294fe0
child 9929 75df69217b57
template;
ANNOUNCE
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/ANNOUNCE	Mon Sep 11 20:41:58 2000 +0200
     1.3 @@ -0,0 +1,20 @@
     1.4 +
     1.5 +Subject: Announcing Isabelle99-1
     1.6 +To: isabelle-users@cl.cam.ac.uk
     1.7 +
     1.8 +Isabelle99-1 is now available.
     1.9 +
    1.10 +
    1.11 +The most prominent highlights are:
    1.12 +
    1.13 +  *
    1.14 +
    1.15 +See the NEWS file distributed with Isabelle for more details.
    1.16 +
    1.17 +
    1.18 +You may get Isabelle99-1 from any of the following mirror sites:
    1.19 +
    1.20 +  Cambridge (UK)    http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/
    1.21 +  Munich (Germany)  http://isabelle.in.tum.de/dist/
    1.22 +  New Jersey (USA)  ftp://ftp.research.bell-labs.com/dist/smlnj/isabelle/source.html
    1.23 +  Stanford (USA)    ftp://rodin.stanford.edu/pub/smlnj/isabelle/source.html