--- a/src/Doc/Isar_Ref/Document_Preparation.thy Sat Nov 22 11:05:41 2014 +0100
+++ b/src/Doc/Isar_Ref/Document_Preparation.thy Tue Dec 09 17:40:42 2014 +0100
@@ -468,8 +468,8 @@
The @{antiquotation rail} antiquotation allows to include syntax
diagrams into Isabelle documents. {\LaTeX} requires the style file
- @{file "~~/lib/texinputs/pdfsetup.sty"}, which can be used via
- @{verbatim \<open>\usepackage{pdfsetup}\<close>} in @{verbatim "root.tex"}, for
+ @{file "~~/lib/texinputs/railsetup.sty"}, which can be used via
+ @{verbatim \<open>\usepackage{railsetup}\<close>} in @{verbatim "root.tex"}, for
example.
The rail specification language is quoted here as Isabelle @{syntax