ed and draftstamp packages committed and activated

[helm.git] / helm / papers / calculemus-2003 / hbugs-calculemus-2003.tex

diff --git a/helm/papers/calculemus-2003/hbugs-calculemus-2003.tex b/helm/papers/calculemus-2003/hbugs-calculemus-2003.tex
index 333251d6ade5dd16cbce904f6d7b392a4fd93c26..feefda5cc93d29f6c8f70e0c5b4fac4ae5e71914 100644 (file)
--- 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