# HG changeset patch
# User wenzelm
# Date 1304632446 -7200
# Node ID 936cd1c493b49ea7ce5b8b0997e6dcb92f49999f
# Parent  528a2ba8fa743d6dc785f9ed5e48cd12196277fc
tuned;

diff -r 528a2ba8fa74 -r 936cd1c493b4 NEWS
--- 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: