From: Claudio Sacerdoti Coen Date: Tue, 19 Jul 2005 14:00:58 +0000 (+0000) Subject: A tab converted to spaces as it should be. X-Git-Tag: V_0_7_2~166 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9d13e8cffc78ca67acebd258f654ecf6d8ca2164;p=helm.git A tab converted to spaces as it should be. --- diff --git a/helm/matita/matita.ma.templ b/helm/matita/matita.ma.templ index 6852ad0c9..3053fbd70 100644 --- a/helm/matita/matita.ma.templ +++ b/helm/matita/matita.ma.templ @@ -1,5 +1,5 @@ (**************************************************************************) -(* ___ *) +(* ___ *) (* ||M|| *) (* ||A|| A project by Andrea Asperti *) (* ||T|| *)