| changeset 26911 | 871cc7f11034 |
| parent 25427 | 8ba39d2d9d0b |
| child 42511 | bf89455ccf9d |
--- a/doc-src/IsarOverview/Isar/document/root.tex Thu May 15 20:02:40 2008 +0200 +++ b/doc-src/IsarOverview/Isar/document/root.tex Thu May 15 20:02:42 2008 +0200 @@ -1,6 +1,6 @@ \documentclass[envcountsame]{llncs} %\documentclass[11pt,a4paper]{article} -\usepackage{isabelle,isabellesym,pdfsetup} +\usepackage{../../../isabelle,../../../isabellesym,../../../pdfsetup} %for best-style documents ... \urlstyle{rm}