# HG changeset patch
# User wenzelm
# Date 1289169146 -3600
# Node ID 42671298f0376c4d0dd705b1f6ac221792e8fc2c
# Parent  c1cd5437afe8ed06e56a8f36417b0fa4abf64897
tweaked pdf setup to allow modification of \pdfminorversion;

diff -r c1cd5437afe8 -r 42671298f037 doc-src/Locales/Locales/document/root.tex
--- 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}