# HG changeset patch
# User wenzelm
# Date 1304366598 -7200
# Node ID f86467c5a72c13245c4abb2b65bcc2cc264224ed
# Parent  ebec0c1a5984d008a03fe621dcd66bef49fb857f
NEWS;

diff -r ebec0c1a5984 -r f86467c5a72c NEWS
--- 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: