NEWS
changeset 42633 f86467c5a72c
parent 42582 6321d0dc3d72
child 42658 8f5d5d71add0
     1.1 --- a/NEWS	Mon May 02 22:00:38 2011 +0200
     1.2 +++ b/NEWS	Mon May 02 22:03:18 2011 +0200
     1.3 @@ -48,6 +48,9 @@
     1.4  that the result needs to be unique, which means fact specifications
     1.5  may have to be refined after enriching a proof context.
     1.6  
     1.7 +* Isabelle/Isar reference manual provides more formal references in
     1.8 +syntax diagrams.
     1.9 +
    1.10  
    1.11  *** HOL ***
    1.12  
    1.13 @@ -85,6 +88,9 @@
    1.14  
    1.15  *** Document preparation ***
    1.16  
    1.17 +* Antiquotation @{rail} layouts railroad syntax diagrams; requires
    1.18 +railsetup.sty included in the Isabelle distribution.
    1.19 +
    1.20  * Localized \isabellestyle switch can be used within blocks or groups
    1.21  like this:
    1.22