reorganized isar-ref;
authorwenzelm
Tue Jun 03 00:20:22 2008 +0200 (2008-06-03)
changeset 27061a057cb0d7d55
parent 27060 f65e5d912d60
child 27062 9681f347b6f5
reorganized isar-ref;
ANNOUNCE
NEWS
     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  
     2.1 --- a/NEWS	Tue Jun 03 00:16:37 2008 +0200
     2.2 +++ b/NEWS	Tue Jun 03 00:20:22 2008 +0200
     2.3 @@ -6,6 +6,9 @@
     2.4  
     2.5  *** General ***
     2.6  
     2.7 +* The Isabelle/Isar Reference Manual (isar-ref) has been reorganized
     2.8 +and updated, with formally checked references as hyperlinks.
     2.9 +
    2.10  * Syntax: symbol \<chi> is now considered a letter.  Potential
    2.11  INCOMPATIBILITY in identifier syntax etc.
    2.12