From 10ad9a25f7c1f59af054398f9c2c6eab43d003b9 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 15 Jul 2005 12:05:07 +0000
Subject: [PATCH] fix

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

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index 3281fc436..aed2cf93c 100644
--- 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
-- 
2.39.2