X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fcalculemus-2003%2Fstamp.pro;fp=helm%2Fpapers%2Fcalculemus-2003%2Fstamp.pro;h=0000000000000000000000000000000000000000;hb=c7514aaa249a96c5fdd39b1123fbdb38d92f20b6;hp=41a40e3097cd9490fb26ceb3ba93f1e0de8e4e88;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git

diff --git a/helm/papers/calculemus-2003/stamp.pro b/helm/papers/calculemus-2003/stamp.pro
deleted file mode 100644
index 41a40e309..000000000
--- a/helm/papers/calculemus-2003/stamp.pro
+++ /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