--- a/NEWS Mon May 02 22:00:38 2011 +0200
+++ b/NEWS Mon May 02 22:03:18 2011 +0200
@@ -48,6 +48,9 @@
that the result needs to be unique, which means fact specifications
may have to be refined after enriching a proof context.
+* Isabelle/Isar reference manual provides more formal references in
+syntax diagrams.
+
*** HOL ***
@@ -85,6 +88,9 @@
*** Document preparation ***
+* Antiquotation @{rail} layouts railroad syntax diagrams; requires
+railsetup.sty included in the Isabelle distribution.
+
* Localized \isabellestyle switch can be used within blocks or groups
like this: