# HG changeset patch
# User wenzelm
# Date 1212496357 -7200
# Node ID c63875c75fbffc125c3b481fa97ffef72a67fced
# Parent  f8a7aff41acb15e6606ba5528b252b3ed32b51e7
use isabelle style files from Doc/ -- not the generated ones (which are not present in the repository anyway);

diff -r f8a7aff41acb -r c63875c75fbf doc-src/Locales/Locales/document/root.tex
--- a/doc-src/Locales/Locales/document/root.tex	Tue Jun 03 14:04:51 2008 +0200
+++ b/doc-src/Locales/Locales/document/root.tex	Tue Jun 03 14:32:37 2008 +0200
@@ -2,7 +2,7 @@
 \usepackage{amsmath}
 \usepackage{tikz}
 \usepackage{subfigure}
-\usepackage{isabelle,isabellesym}
+\usepackage{../isabelle,../isabellesym}
 \usepackage{verbatim}
 \usepackage{array}
 
@@ -32,7 +32,7 @@
   %for \<cent>, \<currency>
 
 % this should be the last package used
-\usepackage{pdfsetup}
+\usepackage{../pdfsetup}
 
 \isafoldtag{proof}