ANNOUNCE
changeset 27061 a057cb0d7d55
parent 27010 4856b752a57c
child 27066 dbf97292e5fd
     1.1 --- a/ANNOUNCE	Tue Jun 03 00:16:37 2008 +0200
     1.2 +++ b/ANNOUNCE	Tue Jun 03 00:20:22 2008 +0200
     1.3 @@ -23,6 +23,8 @@
     1.4  * Support for Poly/ML 5.2 with improved handling of multithreading and
     1.5  external processes.
     1.6  
     1.7 +* Reorganized version of Isabelle/Isar Reference Manual.
     1.8 +
     1.9  
    1.10  You may get Isabelle2008 from the following mirror sites:
    1.11