From: Claudio Sacerdoti Coen Date: Mon, 11 Mar 2002 11:00:47 +0000 (+0000) Subject: A much better PDF file contributed by Paul Libbrecht. X-Git-Tag: V_0_3_0_debian_8~233 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=97870238eecd1c1f6d26801893508c1b03d2152f;p=helm.git A much better PDF file contributed by Paul Libbrecht. --- diff --git a/helm/mowgli/home/misc/contract/mowgli.pdf b/helm/mowgli/home/misc/contract/mowgli.pdf index 77ab02ca4..0dbd1ec59 100644 Binary files a/helm/mowgli/home/misc/contract/mowgli.pdf and b/helm/mowgli/home/misc/contract/mowgli.pdf differ