helm/papers/calculemus-2003/draftstamp.sty

   1 % PostScript Draftstamp Style Option.
   2 %
   3 % $Log$
   4 % Revision 1.1  2003/05/22 16:05:12  sacerdot
   5 % ed and draftstamp packages committed and activated
   6 %
   7 % Revision 1.1  2002/10/21 14:41:51  kohlhase
   8 % more restructuring of definitions
   9 %
  10 % Revision 1.1  1999/04/28 16:21:57  kohlhase
  11 % bla
  12 %
  13 % Revision 1.1  1998/10/01 10:54:41  kohlhase
  14 % *** empty log message ***
  15 %
  16 % Revision 1.1  1998/01/05 10:53:56  mmueller
  17 % blurb
  18 %
  19 % Revision 1.1  1997/05/05 17:15:35  tmueller
  20 % fset wlp 97 paper
  21 %
  22 % Revision 1.1  1997/03/18 18:14:15  tmueller
  23 % starting ilps version of cpi paper
  24 %
  25 % Revision 1.1  91/02/17  01:53:51  schwarze
  26 % Initial revision
  27 %
  28
  29 \special{header=stamp.pro}
  30
  31 \def\draftenglish{\special{! userdict begin /StampText (Draft) def
  32   /StampDate (\number\day/\number\month/\number\year) def end}}
  33
  34 \def\draftgerman{\special{! userdict begin /StampText (Entwurf) def
  35   /StampDate (\number\day.\number\month.\number\year) def end}}
  36
  37 \def\draftfrench{\special{! userdict begin /StampText (Concepte) def
  38   /StampDate (\number\day.\number\month.\number\year) def end}}
  39
  40 \ifcase\language
  41   \draftenglish \or % US English
  42   \draftgerman  \or % German
  43   \draftgerman  \or % Austrian
  44   \draftfrench  \or % French
  45   \draftenglish \fi % English