tuned;
authorwenzelm
Fri Oct 06 17:18:35 2000 +0200 (2000-10-06)
changeset 10165eb69823db997
parent 10164 c240747082aa
child 10166 fb99cee36240
tuned;
ANNOUNCE
     1.1 --- a/ANNOUNCE	Fri Oct 06 16:18:30 2000 +0200
     1.2 +++ b/ANNOUNCE	Fri Oct 06 17:18:35 2000 +0200
     1.3 @@ -8,7 +8,7 @@
     1.4  
     1.5  In particular, great care has been taken to improve robustness and
     1.6  ease use and installation of the complete Isabelle working
     1.7 -environment, including the Proof General user interface support, WWW
     1.8 +environment.  This includes Proof General user interface support, WWW
     1.9  presentation of theories and the Isabelle document preparation system.
    1.10  
    1.11  The most prominent highlights of Isabelle99-1 are as follows.
    1.12 @@ -22,7 +22,6 @@
    1.13        o More robust document preparation, better LaTeX output due to
    1.14          fake math-mode.
    1.15        o Extended "Isabelle/Isar Reference Manual"
    1.16 -        http://isabelle.in.tum.de/doc/isar-ref.pdf
    1.17  
    1.18    * HOL/MicroJava (Gerwin Klein, Tobias Nipkow, David von Oheimb, and
    1.19      Cornelia Pusch)