X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.txt;h=d4365d1cc57fb8c1beb552ff3595a723929b8283;hb=5d9c0b5cdda67ac1672b2e0dd83af7fb67a14a34;hp=eee43a9357748b08983a536285bf365060f2028f;hpb=05e3a6339cae571d440487a983c78d252d4fb73f;p=helm.git

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index eee43a935..d4365d1cc 100644
--- a/helm/matita/matita.txt
+++ b/helm/matita/matita.txt
@@ -2,6 +2,7 @@
 (**********************************************************************)
 
 TODO
+- uri_of_term and term_of_uri: cambiare il tipo per far tornare delle uri!!!
 - eta_expand non usata da nessuno?
 - eliminare eta_fix? (aspettare notazione da Zack e Luca)
 - bug di ferruccio: fare un refresh dei nomi dopo l'applicazione