NEWS

--- a/NEWS	Tue May 03 17:31:16 2011 +0200
+++ b/NEWS	Tue May 03 18:04:05 2011 +0200
@@ -89,7 +89,8 @@
 *** Document preparation ***
 
 * Antiquotation @{rail} layouts railroad syntax diagrams; requires
-railsetup.sty included in the Isabelle distribution.
+railsetup.sty included in the Isabelle distribution; see also isar-ref
+manual.
 
 * Localized \isabellestyle switch can be used within blocks or groups
 like this: