From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Fri, 6 May 2005 19:59:13 +0000 (+0000)
Subject: The README file was patched
X-Git-Tag: single_binding~98
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1c8721e5ae9006ea9eeda2de113f9edfe96e1d71;hp=1c8721e5ae9006ea9eeda2de113f9edfe96e1d71;p=helm.git

The README file was patched
---