--- a/doc-src/IsarOverview/Isar/document/root.tex	Sun May 01 00:01:59 2011 +0200
+++ b/doc-src/IsarOverview/Isar/document/root.tex	Sun May 01 16:36:34 2011 +0200
@@ -1,6 +1,6 @@
 \documentclass[envcountsame]{llncs}
 %\documentclass[11pt,a4paper]{article}
-\usepackage{../../../isabelle,../../../isabellesym,../../../pdfsetup}
+\usepackage{../../../../lib/texinputs/isabelle,../../../../lib/texinputs/isabellesym,../../../pdfsetup}
 
 %for best-style documents ...
 \urlstyle{rm}