fix

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index 3281fc4368180826bcd503e7f83ffc4ed6b94ae2..aed2cf93cb3d53a8dba525006e092e54c145e03d 100644 (file)
--- a/helm/matita/matita.txt
+++ b/helm/matita/matita.txt
@@ -84,8 +84,11 @@ TODO
   - notazione -> Luca e Zack
   - gestione dei path per include: il path deve essere assoluto? da decidere ...
     ( -I ?? o chiedere a matitamake la root e farci una find? )
+  - copiare nel .moo la baseuri e poi il matitaclean la legge da li e non dal
+    .ma (si evita il syntax error)
 
 DONE
+- find & replace -> Gares
 - Bug di cut&paste: se si fa cut&paste di testo lockato si ottiene testo
   lockato! -> Gares
 - Bug: non disambigua