tuned;

--- a/NEWS	Thu May 05 23:23:02 2011 +0200
+++ b/NEWS	Thu May 05 23:54:06 2011 +0200
@@ -92,9 +92,8 @@
 
 *** Document preparation ***
 
-* Antiquotation @{rail} layouts railroad syntax diagrams; requires
-railsetup.sty included in the Isabelle distribution; see also isar-ref
-manual.
+* Antiquotation @{rail} layouts railroad syntax diagrams, see also
+isar-ref manual.
 
 * Localized \isabellestyle switch can be used within blocks or groups
 like this: