# HG changeset patch
# User wenzelm
# Date 970845515 -7200
# Node ID eb69823db997b82d8ef90f47ac4e55ec986abcfe
# Parent  c240747082aa9482359d9d4ea0bedb5a6f0e611f
tuned;

diff -r c240747082aa -r eb69823db997 ANNOUNCE
--- a/ANNOUNCE	Fri Oct 06 16:18:30 2000 +0200
+++ b/ANNOUNCE	Fri Oct 06 17:18:35 2000 +0200
@@ -8,7 +8,7 @@
 
 In particular, great care has been taken to improve robustness and
 ease use and installation of the complete Isabelle working
-environment, including the Proof General user interface support, WWW
+environment.  This includes Proof General user interface support, WWW
 presentation of theories and the Isabelle document preparation system.
 
 The most prominent highlights of Isabelle99-1 are as follows.
@@ -22,7 +22,6 @@
       o More robust document preparation, better LaTeX output due to
         fake math-mode.
       o Extended "Isabelle/Isar Reference Manual"
-        http://isabelle.in.tum.de/doc/isar-ref.pdf
 
   * HOL/MicroJava (Gerwin Klein, Tobias Nipkow, David von Oheimb, and
     Cornelia Pusch)