1.1 --- a/src/Doc/Locales/document/root.tex	Tue Jul 22 14:03:00 2014 +0200
     1.2 +++ b/src/Doc/Locales/document/root.tex	Tue Jul 22 14:36:31 2014 +0200
     1.3 @@ -1,5 +1,7 @@
     1.4  \documentclass[11pt,a4paper]{article}
     1.5  \usepackage[T1]{fontenc}
     1.6 +\usepackage{tikz}
     1.7 +\usepackage{subfigure}
     1.8  \usepackage[nohyphen,strings]{underscore}
     1.9  \usepackage{amsmath}
    1.10  \usepackage{isabelle,isabellesym}
    1.11 @@ -11,10 +13,6 @@
    1.12  
    1.13  \usepackage{pdfsetup}
    1.14  
    1.15 -\usepackage{ifpdf}
    1.16 -\usepackage{tikz}
    1.17 -\usepackage{subfigure}
    1.18 -
    1.19  \isadroptag{theory}
    1.20  \isafoldtag{proof}
    1.21