X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.ma.templ;h=3053fbd7098841e7b01969dade4aae208ca23a45;hb=206f96afb7097c20b3cc8bd144825467b4fde7ae;hp=4fa107ce00eb641a3849cf1d182e6c15d1d3ad40;hpb=e8a1f51b3fa848bf04fc13b5a33666e1856aab71;p=helm.git

diff --git a/helm/matita/matita.ma.templ b/helm/matita/matita.ma.templ
index 4fa107ce0..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||                                                             *)