# HG changeset patch
# User wenzelm
# Date 1418143242 -3600
# Node ID 77351f2051f5de04fb2f035d8ca17ac765519a20
# Parent  8281f83d286f12bb960c5f9d8882949534375553
proper railsetup;

diff -r 8281f83d286f -r 77351f2051f5 src/Doc/Isar_Ref/Document_Preparation.thy
--- 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