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