From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 15 Jul 2005 12:05:07 +0000 (+0000)
Subject: fix
X-Git-Tag: pre_notation~7
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=10ad9a25f7c1f59af054398f9c2c6eab43d003b9;p=helm.git

fix
---

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