helm/papers/matita/ed.sty

   1 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   2 % Editorials
   3 %
   4 % the font shape of ednotes is governed by the parameter \ednoteshape
   5 % the default is sans serif, specialize it to say italic by
   6 % \def\ednoteshape{\it}
   7 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   8 \usepackage{verbatim}
   9 \def\ednoteshape{\sf}
  10 \newif\ifshowednotes\showednotesfalse
  11 \def\edshownotes{\showednotestrue}
  12 \DeclareOption{show}{\showednotestrue}
  13 \DeclareOption{hide}{\showednotesfalse}
  14 \ProcessOptions
  15
  16 \newcounter{ednote}
  17 \def\ed@foot#1#2#3% text, type, label
  18 {\def\test{#3}\def\empty{}\footnotetext[\value{ednote}]%
  19 {{\sc{#2}\if\test\empty\else\label{ed:#3}[{#3}]\fi:} \ednoteshape #1}}
  20 \def\ed@note#1#2#3% text, type, label
  21 {\addtocounter{ednote}{1}\message{#2!}%
  22 \ifshowednotes%
  23 \footnotemark[\arabic{ednote}]\ed@foot{#1}{#2}{#3}%
  24 \marginpar{#2(\arabic{ednote})}%
  25 \fi}
  26 \newcommand{\ednote}[2][]{\ed@note{#2}{}{#1}}
  27 \newcommand{\issue}[2][]{\ed@note{#2}{}{#1}}
  28 \newenvironment{newpart}[1]% text
  29 {\addtocounter{ednote}{1}\edef\new@number{\theednote}\message{New Part!\new@number}
  30 \ifshowednotes\ed@foot{#1}{New Part}{}\marginpar{BegNP(\new@number)}\fi}
  31 {\ifshowednotes\marginpar{EndNP(\new@number)}\fi}
  32
  33 \def\ednotemessage{\ifnum\value{ednote}>0\typeout{}%
  34 \typeout{There are still \arabic{ednote} EdNotes and Issues to resolve!}%
  35 \typeout{}\fi}
  36
  37 \ifshowednotes
  38 \def\todolist#1{\message{todolist!}%
  39 {{\sf To Do: #1}}\bgroup\sf\marginpar{{\sf ToDo}}\begin{itemize}}
  40 \def\endtodolist{\end{itemize}\egroup}
  41 \else\def\todolist#1{\comment}\def\endtodolist{\endcomment}\fi
  42
  43 \newenvironment{neu}{\begin{newpart}{no explanation given}}{\end{newpart}}
  44
  45 \def\tweak#1{\ifshowednotes\marginpar{{\sf tweak}(#1)}\fi}
  46
  47
  48 \def\df#1{\bf{#1}}
  49 \def\dfi#1{\bf{\index*{#1}}}
  50 \def\defemph{\textbf}
  51 \def\defin#1{\defemph{\index*{#1}}}
  52 \def\defins#1{\defemph{#1s}\index{#1}}
  53 \def\emin#1{\em{\index*{#1}}\/}
  54 \def\emins#1{{\em{#1s}\/}\index{#1}}
  55 \def\edin#1{\index*{#1}}
  56 \def\edins#1{\index*{#1}s}
  57 \def\ttin#1{{\tt{#1}}\index{#1@{\tt{#1}}}}
  58 \def\ttins#1{{\tt{#1}}s\index{#1@{\tt{#1}}}}
  59
  60 \newenvironment{myfig}[2]%
  61 {\begin{figure}[!htb]\def\myfiglabel{#1}\def\myfigcaption{{#2}}\begin{center}}
  62 {\caption{\myfigcaption}\label{fig:\myfiglabel}\end{center}\end{figure}}
  63 \def\myfigref#1{Figure~\ref{fig:#1}}
  64 \def\myfigsref#1#2{Figures~\ref{fig:#1} and~\ref{fig:#2}}
  65 \def\myfiglref#1#2{Figures~\ref{fig:#1} to~\ref{fig:#2}}
  66 \def\Myfigref#1{Figure~\ref{fig:#1}}  % this one is capitalized for sentence beginnings