--- /dev/null
+% 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
--- /dev/null
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% 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
\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}
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
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
\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
--- /dev/null
+%!
+% 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
projects / helm.git / commitdiff