--- a/doc-src/Locales/Locales/document/root.tex Sun Nov 07 23:12:40 2010 +0100
+++ b/doc-src/Locales/Locales/document/root.tex Sun Nov 07 23:32:26 2010 +0100
@@ -1,9 +1,5 @@
\documentclass[11pt,a4paper]{article}
\usepackage{amsmath}
-\usepackage{ifpdf}
-\ifpdf\relax\else\def\pgfsysdriver{pgfsys-dvi.def}\fi
-\usepackage{tikz}
-\usepackage{subfigure}
\usepackage{../../../isabelle,../../../isabellesym}
\usepackage{verbatim}
\usepackage{alltt}
@@ -13,6 +9,11 @@
\usepackage{../../../pdfsetup}
+\usepackage{ifpdf}
+\ifpdf\relax\else\def\pgfsysdriver{pgfsys-dvi.def}\fi
+\usepackage{tikz}
+\usepackage{subfigure}
+
\isadroptag{theory}
\isafoldtag{proof}