# HG changeset patch
# User wenzelm
# Date 1304454376 -7200
# Node ID b98f22593f971e4fd1999e74b98532405ac92cef
# Parent  3a365e95c84a1d81ab0b613d3a3475cd755d1dbe
railsetup required for IsarRef/style;

diff -r 3a365e95c84a -r b98f22593f97 doc-src/System/system.tex
--- a/doc-src/System/system.tex	Tue May 03 21:55:19 2011 +0200
+++ b/doc-src/System/system.tex	Tue May 03 22:26:16 2011 +0200
@@ -4,6 +4,7 @@
 \usepackage{../iman,../extra,../isar,../ttbox}
 \usepackage[nohyphen,strings]{../underscore}
 \usepackage{../../lib/texinputs/isabelle,../../lib/texinputs/isabellesym}
+\usepackage{../../lib/texinputs/railsetup}
 \usepackage{../IsarRef/style}
 \usepackage{../pdfsetup}