tuned;
authorwenzelm
Thu May 05 23:54:06 2011 +0200 (2011-05-05)
changeset 42706936cd1c493b4
parent 42705 528a2ba8fa74
child 42707 42d607a9ae65
tuned;
NEWS
     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: