From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 30 Jan 2006 16:26:27 +0000 (+0000)
Subject: Un TODO rimosso.
X-Git-Tag: make_still_working~7728
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=74235656b655c71a014b1e45c44c7c30f75a5329;p=helm.git

Un TODO rimosso.
---

diff --git a/helm/papers/matita/matita2.tex b/helm/papers/matita/matita2.tex
index 9e3739f32..010d4713f 100644
--- 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