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