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