From 74235656b655c71a014b1e45c44c7c30f75a5329 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 30 Jan 2006 16:26:27 +0000 Subject: [PATCH] Un TODO rimosso. --- helm/papers/matita/matita2.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.2