X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fcalculemus-2003%2Fed.sty;h=aec692cc6cbf8b3d1a21dfd47ad51abf63a0729e;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=88e59df0b656b9c7519f416287f5173cfec6ae2b;hpb=1a8aa17ccf98488f62696221d3fe50939c35d789;p=helm.git

diff --git a/helm/papers/calculemus-2003/ed.sty b/helm/papers/calculemus-2003/ed.sty
index 88e59df0b..aec692cc6 100644
--- 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}}}