use isabelle style files from Doc/ -- not the generated ones (which are not present in the repository anyway);

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