X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fcalculemus-2003%2Fdraftstamp.sty;fp=helm%2Fpapers%2Fcalculemus-2003%2Fdraftstamp.sty;h=0000000000000000000000000000000000000000;hb=c7514aaa249a96c5fdd39b1123fbdb38d92f20b6;hp=6ac8e22e11878ab9f99074f091026b89ffedbecc;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git

diff --git a/helm/papers/calculemus-2003/draftstamp.sty b/helm/papers/calculemus-2003/draftstamp.sty
deleted file mode 100644
index 6ac8e22e1..000000000
--- a/helm/papers/calculemus-2003/draftstamp.sty
+++ /dev/null
@@ -1,45 +0,0 @@
-% PostScript Draftstamp Style Option.
-%
-% $Log$
-% Revision 1.1  2003/05/22 16:05:12  sacerdot
-% ed and draftstamp packages committed and activated
-%
-% Revision 1.1  2002/10/21 14:41:51  kohlhase
-% more restructuring of definitions
-%
-% Revision 1.1  1999/04/28 16:21:57  kohlhase
-% bla
-%
-% Revision 1.1  1998/10/01 10:54:41  kohlhase
-% *** empty log message ***
-%
-% Revision 1.1  1998/01/05 10:53:56  mmueller
-% blurb
-%
-% Revision 1.1  1997/05/05 17:15:35  tmueller
-% fset wlp 97 paper
-%
-% Revision 1.1  1997/03/18 18:14:15  tmueller
-% starting ilps version of cpi paper
-%
-% Revision 1.1  91/02/17  01:53:51  schwarze
-% Initial revision
-% 
-
-\special{header=stamp.pro}
-
-\def\draftenglish{\special{! userdict begin /StampText (Draft) def
-  /StampDate (\number\day/\number\month/\number\year) def end}}
-
-\def\draftgerman{\special{! userdict begin /StampText (Entwurf) def
-  /StampDate (\number\day.\number\month.\number\year) def end}}
-
-\def\draftfrench{\special{! userdict begin /StampText (Concepte) def
-  /StampDate (\number\day.\number\month.\number\year) def end}}
-
-\ifcase\language
-  \draftenglish \or % US English
-  \draftgerman  \or % German
-  \draftgerman  \or % Austrian
-  \draftfrench  \or % French
-  \draftenglish \fi % English