blocked undo of authomatic text (template)

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

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index b882d4d0ad73b904a4d134c0826b1a609715d9f1..92626557c11550148ccb4eb6485bb8e05cf3f5c1 100644 (file)
--- a/helm/matita/matita.txt
+++ b/helm/matita/matita.txt
@@ -82,7 +82,9 @@ TODO
     directory .matita
   - notazione -> Luca e Zack
   - copiare nel .moo la baseuri e poi il matitaclean la legge da li e non dal
-    .ma (si evita il syntax error)
+    .ma (si evita il syntax error e il cambio di una baseuri non causa 
+    sporcizia)
+  - non chiudere transitivamente i moo ?? 
 
 DONE
 - gestione dei path per include: il path deve essere assoluto? da decidere ...