NEWS
changeset 42658 8f5d5d71add0
parent 42633 f86467c5a72c
child 42669 04dfffda5671
     1.1 --- a/NEWS	Tue May 03 17:31:16 2011 +0200
     1.2 +++ b/NEWS	Tue May 03 18:04:05 2011 +0200
     1.3 @@ -89,7 +89,8 @@
     1.4  *** Document preparation ***
     1.5  
     1.6  * Antiquotation @{rail} layouts railroad syntax diagrams; requires
     1.7 -railsetup.sty included in the Isabelle distribution.
     1.8 +railsetup.sty included in the Isabelle distribution; see also isar-ref
     1.9 +manual.
    1.10  
    1.11  * Localized \isabellestyle switch can be used within blocks or groups
    1.12  like this: