From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 11 Mar 2002 16:05:17 +0000 (+0000)
Subject: New sources by Paul Libbrecht. From these sources it is possible to
X-Git-Tag: V_0_3_0_debian_8~222
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4bcc5404044ef0986a074a751d5e7beb0d4303c7;p=helm.git

New sources by Paul Libbrecht. From these sources it is possible to
produce both a nice PDF file and the PS document.
---

diff --git a/helm/mowgli/home/misc/contract/contract.tgz b/helm/mowgli/home/misc/contract/contract.tgz
index c5e3f7932..d3ea088d7 100644
Binary files a/helm/mowgli/home/misc/contract/contract.tgz and b/helm/mowgli/home/misc/contract/contract.tgz differ