# HG changeset patch
# User wenzelm
# Date 1221490235 -7200
# Node ID 5465883d64da7ecbf5b35dc273a0c24883dfe849
# Parent  1cb3bd5b664a2e7f474bcef90f56d34562a2c02b
load underscore package after iman etc.;

diff -r 1cb3bd5b664a -r 5465883d64da doc-src/System/system.tex
--- a/doc-src/System/system.tex	Mon Sep 15 16:43:53 2008 +0200
+++ b/doc-src/System/system.tex	Mon Sep 15 16:50:35 2008 +0200
@@ -9,9 +9,9 @@
 \usepackage{textcomp}
 \usepackage{supertabular}
 \let\intorig=\int  %iman.sty redefines \int
-\usepackage[nohyphen,strings]{../underscore}
 \usepackage{graphicx}
 \usepackage{../iman,../extra,../isar,../ttbox}
+\usepackage[nohyphen,strings]{../underscore}
 \usepackage{../isabelle,../isabellesym}
 \usepackage{../IsarRef/style}
 \usepackage{../pdfsetup}