]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/papers/calculemus-2003/draftstamp.sty
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / papers / calculemus-2003 / draftstamp.sty
diff --git a/helm/papers/calculemus-2003/draftstamp.sty b/helm/papers/calculemus-2003/draftstamp.sty
deleted file mode 100644 (file)
index 6ac8e22..0000000
+++ /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