diff -r 7a9652294fe0 -r b7698bd95a94 ANNOUNCE
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ANNOUNCE	Mon Sep 11 20:41:58 2000 +0200
@@ -0,0 +1,20 @@
+
+Subject: Announcing Isabelle99-1
+To: isabelle-users@cl.cam.ac.uk
+
+Isabelle99-1 is now available.
+
+
+The most prominent highlights are:
+
+  *
+
+See the NEWS file distributed with Isabelle for more details.
+
+
+You may get Isabelle99-1 from any of the following mirror sites:
+
+  Cambridge (UK)    http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/
+  Munich (Germany)  http://isabelle.in.tum.de/dist/
+  New Jersey (USA)  ftp://ftp.research.bell-labs.com/dist/smlnj/isabelle/source.html
+  Stanford (USA)    ftp://rodin.stanford.edu/pub/smlnj/isabelle/source.html