ocaml 3.09 transition

[helm.git] / helm / papers / calculemus-2003 / ed.sty

diff --git a/helm/papers/calculemus-2003/ed.sty b/helm/papers/calculemus-2003/ed.sty
index 88e59df0b656b9c7519f416287f5173cfec6ae2b..aec692cc6cbf8b3d1a21dfd47ad51abf63a0729e 100644 (file)
--- a/helm/papers/calculemus-2003/ed.sty
+++ b/helm/papers/calculemus-2003/ed.sty
@@ -1,3 +1,9 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% 22/05/2003: New command 'oldpart' introduced by           %
+%             Claudio Sacerdoti Coen <sacerdot@cs.unibo.it> %
+%             (a new environment would have been better)    %
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 % Editorials
 % 
@@ -44,6 +50,13 @@
 
 \def\tweak#1{\ifshowednotes\marginpar{{\sf tweak}(#1)}\fi}
 
+\newcommand{\oldpart}[2]% motivation text
+{\addtocounter{ednote}{1}\edef\new@number{\theednote}\message{Old Part!\new@number}
+\ifshowednotes\ed@foot{#1}{Old Part}{}\marginpar{OldPart~Missing(\new@number)}\fi}
+
+\def\ednotemessage{\ifnum\value{ednote}>0\typeout{}%
+\typeout{There are still \arabic{ednote} EdNotes and Issues to resolve!}%
+\typeout{}\fi}
 
 \def\df#1{\bf{#1}}
 \def\dfi#1{\bf{\index*{#1}}}