
diff -r 11aa41ed306d -r 1eced27ee0e1 doc-src/IsarOverview/Isar/document/pdfsetup.sty
--- 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}}




