]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/papers/calculemus-2003/draftstamp.sty
ed and draftstamp packages committed and activated
[helm.git] / helm / papers / calculemus-2003 / draftstamp.sty
diff --git a/helm/papers/calculemus-2003/draftstamp.sty b/helm/papers/calculemus-2003/draftstamp.sty
new file mode 100644 (file)
index 0000000..6ac8e22
--- /dev/null
@@ -0,0 +1,45 @@
+% 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