Un TODO rimosso.

diff --git a/helm/papers/matita/matita2.tex b/helm/papers/matita/matita2.tex
index 9e3739f320c4c5ef6b45a3f6f2bc140ff3513d42..010d4713f905f070989aa75ee74d7ff05ae5307f 100644 (file)
--- a/helm/papers/matita/matita2.tex
+++ b/helm/papers/matita/matita2.tex
@@ -681,7 +681,7 @@ To render a document given its URI, \UWOBO{} retrieves it using the
 \GETTER{} obtaining a document with fully specified terms. Then it translates
 it to the presentation level passing through the content level. Finally
 it returns the result document to be rendered by the user's
 \GETTER{} obtaining a document with fully specified terms. Then it translates
 it to the presentation level passing through the content level. Finally
 it returns the result document to be rendered by the user's

-browser.\NOTE{\TODO{manca la passata verso HTML}}
+browser.

 
 The \components{} not yet described (\texttt{extlib}, \texttt{xml},
 \texttt{logger}, \texttt{registry} and \texttt{utf8\_macros}) are 
 
 The \components{} not yet described (\texttt{extlib}, \texttt{xml},
 \texttt{logger}, \texttt{registry} and \texttt{utf8\_macros}) are