changeset 43529 | 8f5d5d71add0 |
parent 43504 | f86467c5a72c |
child 43542 | 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: