--- a/doc-src/IsarOverview/Isar/document/pdfsetup.sty Sun Aug 28 19:42:10 2005 +0200
+++ b/doc-src/IsarOverview/Isar/document/pdfsetup.sty Sun Aug 28 19:42:19 2005 +0200
@@ -3,7 +3,7 @@
%%
%% smart url or hyperref setup
%%
-%% $Id$
+%%
\@ifundefined{pdfoutput}
{\usepackage{url}}