# HG changeset patch
# User wenzelm
# Date 1406032591 -7200
# Node ID 6df377afda4ad2c7af114734aaa115ddd3b377de
# Parent  8e0a7eaffe47b2619949e9ab7ad9434b49740da7
evade problems with MikTeX on Windows;

diff -r 8e0a7eaffe47 -r 6df377afda4a src/Doc/Locales/document/root.tex
--- a/src/Doc/Locales/document/root.tex	Tue Jul 22 14:03:00 2014 +0200
+++ b/src/Doc/Locales/document/root.tex	Tue Jul 22 14:36:31 2014 +0200
@@ -1,5 +1,7 @@
 \documentclass[11pt,a4paper]{article}
 \usepackage[T1]{fontenc}
+\usepackage{tikz}
+\usepackage{subfigure}
 \usepackage[nohyphen,strings]{underscore}
 \usepackage{amsmath}
 \usepackage{isabelle,isabellesym}
@@ -11,10 +13,6 @@
 
 \usepackage{pdfsetup}
 
-\usepackage{ifpdf}
-\usepackage{tikz}
-\usepackage{subfigure}
-
 \isadroptag{theory}
 \isafoldtag{proof}