X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fcalculemus-2003%2Fhbugs-calculemus-2003.tex;h=feefda5cc93d29f6c8f70e0c5b4fac4ae5e71914;hb=1a8aa17ccf98488f62696221d3fe50939c35d789;hp=333251d6ade5dd16cbce904f6d7b392a4fd93c26;hpb=cab4eba3c7da115ecc1973d989b321b46835e1eb;p=helm.git

diff --git a/helm/papers/calculemus-2003/hbugs-calculemus-2003.tex b/helm/papers/calculemus-2003/hbugs-calculemus-2003.tex
index 333251d6a..feefda5cc 100644
--- a/helm/papers/calculemus-2003/hbugs-calculemus-2003.tex
+++ b/helm/papers/calculemus-2003/hbugs-calculemus-2003.tex
@@ -15,7 +15,9 @@
    \end{figure}
 }
 
-\newcommand{\todo}[1]{\footnote{\textbf{TODO: #1}}}
+\usepackage[show]{ed}
+\usepackage{draftstamp}
+
 \newcommand{\ws}{Web-Service}
 \newcommand{\wss}{Web-Services}
 \newcommand{\hbugs}{H-Bugs}
@@ -70,7 +72,7 @@
   This lack of organization along with the huge amount of documents available,
   have posed not a few problems for data location. If this limitation could be
   overcome using heuristic-based search engine for HTML pages, a satisfying
-  solution has yet to be found for \ws\ location \todo{location non mi piace, ma
+  solution has yet to be found for \ws\ location \ednote{location non mi piace, ma
   "localization" e' anche peggio, "retrieval"?}. A promising architecture seems
   to be the use of \emph{brokers}, which access point (usually an URI) is known
   by the potential clients or by \emph{registries}, to which the \wss\ subscribe
@@ -83,9 +85,9 @@
 
   Several examples of CAS (Computer Algebra System) and Theorem Prover related
   \wss\ have been shown to be useful and to fit well in the MONET Architecture
-  \todo{citarne qualcuno: CSC???}. On the other hand \todo{troppo informale?}
+  \ednote{citarne qualcuno: CSC???}. On the other hand \ednote{troppo informale?}
   the set of \wss\ related to Proof Assistants tends to be ... rather ...
-  empty!\todo{gia' mi immagino il tuo commento: BUHM! :-)}
+  empty!\ednote{gia' mi immagino il tuo commento: BUHM! :-)}
 
   Despite of that the proof assistant case seems to be well suited to
   investigate the usage of many different mathematical \wss. Indeed: most proof
@@ -99,11 +101,11 @@
   \ws\ interfacing a CAS to simplify expressions in a particular mathematical
   domain.
 
-  The Omega Ants project \todo{date, autori e paperi}, developed before the
+  The Omega Ants project \ednote{date, autori e paperi}, developed before the
   \emph{\ws\ era}, enrich the Omega \cite{Omega} proof assistant with an
   architecture able to distribute subparts of a proof to agents (Ants)
   implemented as separate processes running on the same hosts of the proof
-  assistant \todo{controllare ...}.
+  assistant \ednote{controllare ...}.
 
   In this paper we present an architecture, namely \hbugs\, implementing a
   \emph{suggestion engine} for the proof assistant developed on behalf of the