removed ID (avoid CVS conflicts with generated versions);
authorwenzelm
Sun Jan 07 21:45:14 2001 +0100 (2001-01-07)
changeset 10822d72dac8e6ef5
parent 10821 dcb75538f542
child 10823 88cb1547d952
removed ID (avoid CVS conflicts with generated versions);
lib/texinputs/isabelle.sty
lib/texinputs/isabellesym.sty
lib/texinputs/pdfsetup.sty
     1.1 --- a/lib/texinputs/isabelle.sty	Sun Jan 07 21:41:56 2001 +0100
     1.2 +++ b/lib/texinputs/isabelle.sty	Sun Jan 07 21:45:14 2001 +0100
     1.3 @@ -1,5 +1,4 @@
     1.4  %%
     1.5 -%% $Id$
     1.6  %% Author: Markus Wenzel, TU Muenchen
     1.7  %% License: GPL (GNU GENERAL PUBLIC LICENSE)
     1.8  %%
     2.1 --- a/lib/texinputs/isabellesym.sty	Sun Jan 07 21:41:56 2001 +0100
     2.2 +++ b/lib/texinputs/isabellesym.sty	Sun Jan 07 21:45:14 2001 +0100
     2.3 @@ -1,5 +1,4 @@
     2.4  %%
     2.5 -%% $Id$
     2.6  %% Author: Markus Wenzel, TU Muenchen
     2.7  %% License: GPL (GNU GENERAL PUBLIC LICENSE)
     2.8  %%
     3.1 --- a/lib/texinputs/pdfsetup.sty	Sun Jan 07 21:41:56 2001 +0100
     3.2 +++ b/lib/texinputs/pdfsetup.sty	Sun Jan 07 21:45:14 2001 +0100
     3.3 @@ -1,5 +1,4 @@
     3.4  %%
     3.5 -%% $Id$
     3.6  %% Author: Markus Wenzel, TU Muenchen
     3.7  %% License: GPL (GNU GENERAL PUBLIC LICENSE)
     3.8  %%