changeset 10165 eb69823db997
parent 10162 947b7b8b0a69
child 10166 fb99cee36240
--- 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"
   * HOL/MicroJava (Gerwin Klein, Tobias Nipkow, David von Oheimb, and
     Cornelia Pusch)