From 1a8aa17ccf98488f62696221d3fe50939c35d789 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 22 May 2003 16:05:12 +0000 Subject: [PATCH] ed and draftstamp packages committed and activated --- helm/papers/calculemus-2003/draftstamp.sty | 45 ++++++++++ helm/papers/calculemus-2003/ed.sty | 66 +++++++++++++++ .../calculemus-2003/hbugs-calculemus-2003.tex | 14 ++-- helm/papers/calculemus-2003/stamp.pro | 82 +++++++++++++++++++ 4 files changed, 201 insertions(+), 6 deletions(-) create mode 100644 helm/papers/calculemus-2003/draftstamp.sty create mode 100644 helm/papers/calculemus-2003/ed.sty create mode 100644 helm/papers/calculemus-2003/stamp.pro diff --git a/helm/papers/calculemus-2003/draftstamp.sty b/helm/papers/calculemus-2003/draftstamp.sty new file mode 100644 index 000000000..6ac8e22e1 --- /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 index 000000000..88e59df0b --- /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 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 diff --git a/helm/papers/calculemus-2003/stamp.pro b/helm/papers/calculemus-2003/stamp.pro new file mode 100644 index 000000000..41a40e309 --- /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 -- 2.39.2