Big commit and major code clean-up:

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

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index eee43a9357748b08983a536285bf365060f2028f..d4365d1cc57fb8c1beb552ff3595a723929b8283 100644 (file)
--- 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