From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 30 Apr 2008 10:46:54 +0000 (+0000)
Subject: many pending modifications were there, now the website at least validates
X-Git-Tag: make_still_working~5278
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=9d356a6f202a77fb1dd67b57b1c86ac3ebe1382b;hp=9d356a6f202a77fb1dd67b57b1c86ac3ebe1382b;p=helm.git

many pending modifications were there, now the website at least validates
---