From f184c658c8df87dcc01ca3438a3188eca2ca4da5 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Sat, 24 Dec 2005 11:32:17 +0000
Subject: [PATCH] test commit

---
 helm/matita/matita.txt | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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
-- 
2.39.2