# 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 \, \ % this should be the last package used -\usepackage{pdfsetup} +\usepackage{../pdfsetup} \isafoldtag{proof}