# HG changeset patch
# User wenzelm
# Date 978900314 -3600
# Node ID d72dac8e6ef51e7d02d580d8290f4466bd24fc63
# Parent  dcb75538f542795e7ecdb8a1fec4938a93be24cf
removed ID (avoid CVS conflicts with generated versions);

diff -r dcb75538f542 -r d72dac8e6ef5 lib/texinputs/isabelle.sty
--- a/lib/texinputs/isabelle.sty	Sun Jan 07 21:41:56 2001 +0100
+++ b/lib/texinputs/isabelle.sty	Sun Jan 07 21:45:14 2001 +0100
@@ -1,5 +1,4 @@
 %%
-%% $Id$
 %% Author: Markus Wenzel, TU Muenchen
 %% License: GPL (GNU GENERAL PUBLIC LICENSE)
 %%
diff -r dcb75538f542 -r d72dac8e6ef5 lib/texinputs/isabellesym.sty
--- a/lib/texinputs/isabellesym.sty	Sun Jan 07 21:41:56 2001 +0100
+++ b/lib/texinputs/isabellesym.sty	Sun Jan 07 21:45:14 2001 +0100
@@ -1,5 +1,4 @@
 %%
-%% $Id$
 %% Author: Markus Wenzel, TU Muenchen
 %% License: GPL (GNU GENERAL PUBLIC LICENSE)
 %%
diff -r dcb75538f542 -r d72dac8e6ef5 lib/texinputs/pdfsetup.sty
--- a/lib/texinputs/pdfsetup.sty	Sun Jan 07 21:41:56 2001 +0100
+++ b/lib/texinputs/pdfsetup.sty	Sun Jan 07 21:45:14 2001 +0100
@@ -1,5 +1,4 @@
 %%
-%% $Id$
 %% Author: Markus Wenzel, TU Muenchen
 %% License: GPL (GNU GENERAL PUBLIC LICENSE)
 %%