From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Sat, 24 Dec 2005 11:32:17 +0000 (+0000)
Subject: test commit
X-Git-Tag: make_still_working~7917
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f184c658c8df87dcc01ca3438a3188eca2ca4da5;p=helm.git

test commit
---

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index 199caf5f8..ce34e404c 100644
--- a/helm/matita/matita.txt
+++ b/helm/matita/matita.txt
@@ -1,6 +1,6 @@
-Ferruccio ha cambiato matita.lang:
->      <keyword>iforall</keyword>
->      <keyword>iexists</keyword>
+  Ferruccio ha cambiato matita.lang:
+  >      <keyword>iforall</keyword>
+  >      <keyword>iexists</keyword>
 
 TODO
   NUCLEO