--- /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