test commit

[helm.git] / helm / matita / matita.txt

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index 199caf5f876f7ad5b2dd7b9a15732a7b2c469bff..ce34e404ca1dabdbf5aefaaa24388340d78fb026 100644 (file)
--- 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