# 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}