doc-src/IsarOverview/Isar/document/root.tex
changeset 42511 bf89455ccf9d
parent 26911 871cc7f11034
     1.1 --- a/doc-src/IsarOverview/Isar/document/root.tex	Sun May 01 00:01:59 2011 +0200
     1.2 +++ b/doc-src/IsarOverview/Isar/document/root.tex	Sun May 01 16:36:34 2011 +0200
     1.3 @@ -1,6 +1,6 @@
     1.4  \documentclass[envcountsame]{llncs}
     1.5  %\documentclass[11pt,a4paper]{article}
     1.6 -\usepackage{../../../isabelle,../../../isabellesym,../../../pdfsetup}
     1.7 +\usepackage{../../../../lib/texinputs/isabelle,../../../../lib/texinputs/isabellesym,../../../pdfsetup}
     1.8  
     1.9  %for best-style documents ...
    1.10  \urlstyle{rm}