]> matita.cs.unibo.it Git - helm.git/blob - helm/papers/calculemus-2003/draftstamp.sty
Stupid bug fixed in the refinement of let ... in
[helm.git] / 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