]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/papers/calculemus-2003/stamp.pro
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / papers / calculemus-2003 / stamp.pro
diff --git a/helm/papers/calculemus-2003/stamp.pro b/helm/papers/calculemus-2003/stamp.pro
deleted file mode 100644 (file)
index 41a40e3..0000000
+++ /dev/null
@@ -1,82 +0,0 @@
-%!
-% stamp.pro
-% Put a stamp onto upper left corner of the page.
-%
-% $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:23:03  kohlhase
-% bla
-%
-% Revision 1.1  1998/09/29 07:32:03  kohlhase
-% *** empty log message ***
-%
-% Revision 1.1  1998/01/05 10:53:58  mmueller
-% blurb
-%
-% Revision 1.1  1997/03/18 18:14:22  tmueller
-% starting ilps version of cpi paper
-%
-% Revision 1.1  91/02/17  01:51:12  schwarze
-% Initial revision
-% 
-
-/inch { 72 mul } def
-/mm { inch 25.4 div } def
-
-/StampText (Draft) def
-%/StampDate (12.01.91) def
-
-/StampSize 24 def
-/StampFont /Helvetica-Bold findfont StampSize scalefont def
-/DateSize 10 def
-/DateFont /Helvetica-Bold findfont DateSize scalefont def
-/Gray .5 def
-/LMargin 10 mm def
-/TMargin 10 mm def
-%/PaperHeight 297 mm def
-/PaperHeight 280 mm def
-/Angle 30 def
-
-/Randomize { rand 2147483647 div .6 mul .7 add mul cvi } def 
-
-/bop-hook {
-    gsave
-
-    /TheAngle Angle Randomize def
-    /TheLMargin LMargin Randomize def 
-    /TheTMargin TMargin Randomize def 
-
-    StampFont setfont
-    /StampWidth StampText stringwidth pop def
-
-    TheLMargin StampSize TheAngle sin mul add % x
-    PaperHeight TheTMargin sub StampWidth TheAngle sin mul sub 
-    StampSize TheAngle cos mul sub % y
-
-    translate
-    TheAngle rotate
-    Gray setgray
-    0 0 moveto StampText show
-
-    userdict /StampDate known { 
-       DateFont setfont
-       StampDate stringwidth pop 
-       StampWidth exch sub 2 div DateSize -1.2 mul moveto
-       StampDate show
-    } if
-
-    StampWidth 2 div dup StampSize 0.2 mul translate
-
-    1.35 mul dup StampSize 1.35 mul scale
-    newpath 1 exch div setlinewidth 0 0 1 0 360 arc stroke
-
-    grestore
-} def
-
-%bop-hook
-%showpage