ed and draftstamp packages committed and activated

diff --git a/helm/papers/calculemus-2003/draftstamp.sty b/helm/papers/calculemus-2003/draftstamp.sty
new file mode 100644 (file)
index 0000000..6ac8e22
--- /dev/null
+++ b/helm/papers/calculemus-2003/draftstamp.sty
@@ -0,0 +1,45 @@
+% PostScript Draftstamp Style Option.
+%
+% $Log$
+% Revision 1.1  2003/05/22 16:05:12  sacerdot
+% ed and draftstamp packages committed and activated
+%
+% Revision 1.1  2002/10/21 14:41:51  kohlhase
+% more restructuring of definitions
+%
+% Revision 1.1  1999/04/28 16:21:57  kohlhase
+% bla
+%
+% Revision 1.1  1998/10/01 10:54:41  kohlhase
+% *** empty log message ***
+%
+% Revision 1.1  1998/01/05 10:53:56  mmueller
+% blurb
+%
+% Revision 1.1  1997/05/05 17:15:35  tmueller
+% fset wlp 97 paper
+%
+% Revision 1.1  1997/03/18 18:14:15  tmueller
+% starting ilps version of cpi paper
+%
+% Revision 1.1  91/02/17  01:53:51  schwarze
+% Initial revision
+% 
+
+\special{header=stamp.pro}
+
+\def\draftenglish{\special{! userdict begin /StampText (Draft) def
+  /StampDate (\number\day/\number\month/\number\year) def end}}
+
+\def\draftgerman{\special{! userdict begin /StampText (Entwurf) def
+  /StampDate (\number\day.\number\month.\number\year) def end}}
+
+\def\draftfrench{\special{! userdict begin /StampText (Concepte) def
+  /StampDate (\number\day.\number\month.\number\year) def end}}
+
+\ifcase\language
+  \draftenglish \or % US English
+  \draftgerman  \or % German
+  \draftgerman  \or % Austrian
+  \draftfrench  \or % French
+  \draftenglish \fi % English

diff --git a/helm/papers/calculemus-2003/ed.sty b/helm/papers/calculemus-2003/ed.sty
new file mode 100644 (file)
index 0000000..88e59df
--- /dev/null
+++ b/helm/papers/calculemus-2003/ed.sty
@@ -0,0 +1,66 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% Editorials
+% 
+% the font shape of ednotes is governed by the parameter \ednoteshape
+% the default is sans serif, specialize it to say italic by 
+% \def\ednoteshape{\it}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\usepackage{verbatim}
+\def\ednoteshape{\sf}
+\newif\ifshowednotes\showednotesfalse
+\def\edshownotes{\showednotestrue}
+\DeclareOption{show}{\showednotestrue}
+\DeclareOption{hide}{\showednotesfalse}
+\ProcessOptions
+
+\newcounter{ednote}
+\def\ed@foot#1#2#3% text, type, label
+{\def\test{#3}\def\empty{}\footnotetext[\value{ednote}]%
+{{\sc{#2}\if\test\empty\else\label{ed:#3}[{#3}]\fi:} \ednoteshape #1}}
+\def\ed@note#1#2#3% text, type, label
+{\addtocounter{ednote}{1}\message{#2!}%
+\ifshowednotes%
+\footnotemark[\arabic{ednote}]\ed@foot{#1}{#2}{#3}%
+\marginpar{#2(\arabic{ednote})}%
+\fi}
+\newcommand{\ednote}[2][]{\ed@note{#2}{EdNote}{#1}}
+\newcommand{\issue}[2][]{\ed@note{#2}{Issue}{#1}}
+\newenvironment{newpart}[1]% text
+{\addtocounter{ednote}{1}\edef\new@number{\theednote}\message{New Part!\new@number}
+\ifshowednotes\ed@foot{#1}{New Part}{}\marginpar{BegNP(\new@number)}\fi}
+{\ifshowednotes\marginpar{EndNP(\new@number)}\fi}
+
+\def\ednotemessage{\ifnum\value{ednote}>0\typeout{}%
+\typeout{There are still \arabic{ednote} EdNotes and Issues to resolve!}%
+\typeout{}\fi}
+
+\ifshowednotes
+\def\todolist#1{\message{todolist!}%
+{{\sf To Do: #1}}\bgroup\sf\marginpar{{\sf ToDo}}\begin{itemize}}
+\def\endtodolist{\end{itemize}\egroup}
+\else\def\todolist#1{\comment}\def\endtodolist{\endcomment}\fi
+
+\newenvironment{neu}{\begin{newpart}{no explanation given}}{\end{newpart}}
+
+\def\tweak#1{\ifshowednotes\marginpar{{\sf tweak}(#1)}\fi}
+
+
+\def\df#1{\bf{#1}}
+\def\dfi#1{\bf{\index*{#1}}}
+\def\defemph{\textbf}
+\def\defin#1{\defemph{\index*{#1}}}
+\def\defins#1{\defemph{#1s}\index{#1}}
+\def\emin#1{\em{\index*{#1}}\/}
+\def\emins#1{{\em{#1s}\/}\index{#1}}
+\def\edin#1{\index*{#1}}
+\def\edins#1{\index*{#1}s}
+\def\ttin#1{{\tt{#1}}\index{#1@{\tt{#1}}}}
+\def\ttins#1{{\tt{#1}}s\index{#1@{\tt{#1}}}}
+
+\newenvironment{myfig}[2]%
+{\begin{figure}[!htb]\def\myfiglabel{#1}\def\myfigcaption{{#2}}\begin{center}}
+{\caption{\myfigcaption}\label{fig:\myfiglabel}\end{center}\end{figure}}
+\def\myfigref#1{Figure~\ref{fig:#1}}
+\def\myfigsref#1#2{Figures~\ref{fig:#1} and~\ref{fig:#2}}
+\def\myfiglref#1#2{Figures~\ref{fig:#1} to~\ref{fig:#2}}
+\def\Myfigref#1{Figure~\ref{fig:#1}}  % this one is capitalized for sentence beginnings

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}
 }
 
    \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}
 \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
   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
   "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
 
   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 ...
   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
 
   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.
 
   \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
   \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
 
   In this paper we present an architecture, namely \hbugs\, implementing a
   \emph{suggestion engine} for the proof assistant developed on behalf of the

diff --git a/helm/papers/calculemus-2003/stamp.pro b/helm/papers/calculemus-2003/stamp.pro
new file mode 100644 (file)
index 0000000..41a40e3
--- /dev/null
+++ b/helm/papers/calculemus-2003/stamp.pro
@@ -0,0 +1,82 @@
+%!
+% stamp.pro
+% Put a stamp onto upper left corner of the page.
+%
+% $Log$
+% Revision 1.1  2003/05/22 16:05:12  sacerdot
+% ed and draftstamp packages committed and activated
+%
+% Revision 1.1  2002/10/21 14:41:51  kohlhase
+% more restructuring of definitions
+%
+% Revision 1.1  1999/04/28 16:23:03  kohlhase
+% bla
+%
+% Revision 1.1  1998/09/29 07:32:03  kohlhase
+% *** empty log message ***
+%
+% Revision 1.1  1998/01/05 10:53:58  mmueller
+% blurb
+%
+% Revision 1.1  1997/03/18 18:14:22  tmueller
+% starting ilps version of cpi paper
+%
+% Revision 1.1  91/02/17  01:51:12  schwarze
+% Initial revision
+% 
+
+/inch { 72 mul } def
+/mm { inch 25.4 div } def
+
+/StampText (Draft) def
+%/StampDate (12.01.91) def
+
+/StampSize 24 def
+/StampFont /Helvetica-Bold findfont StampSize scalefont def
+/DateSize 10 def
+/DateFont /Helvetica-Bold findfont DateSize scalefont def
+/Gray .5 def
+/LMargin 10 mm def
+/TMargin 10 mm def
+%/PaperHeight 297 mm def
+/PaperHeight 280 mm def
+/Angle 30 def
+
+/Randomize { rand 2147483647 div .6 mul .7 add mul cvi } def 
+
+/bop-hook {
+    gsave
+
+    /TheAngle Angle Randomize def
+    /TheLMargin LMargin Randomize def 
+    /TheTMargin TMargin Randomize def 
+
+    StampFont setfont
+    /StampWidth StampText stringwidth pop def
+
+    TheLMargin StampSize TheAngle sin mul add % x
+    PaperHeight TheTMargin sub StampWidth TheAngle sin mul sub 
+    StampSize TheAngle cos mul sub % y
+
+    translate
+    TheAngle rotate
+    Gray setgray
+    0 0 moveto StampText show
+
+    userdict /StampDate known { 
+       DateFont setfont
+       StampDate stringwidth pop 
+       StampWidth exch sub 2 div DateSize -1.2 mul moveto
+       StampDate show
+    } if
+
+    StampWidth 2 div dup StampSize 0.2 mul translate
+
+    1.35 mul dup StampSize 1.35 mul scale
+    newpath 1 exch div setlinewidth 0 0 1 0 360 arc stroke
+
+    grestore
+} def
+
+%bop-hook
+%showpage