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
-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