equal
deleted
inserted
replaced
88 \newcommand{\FIXES}[1]{\FIXESNAME~#1} |
88 \newcommand{\FIXES}[1]{\FIXESNAME~#1} |
89 \newcommand{\ASSUMES}[2]{\ASSUMESNAME\I@optname{#1}~#2} |
89 \newcommand{\ASSUMES}[2]{\ASSUMESNAME\I@optname{#1}~#2} |
90 \newcommand{\DEFINES}[2]{\DEFINESNAME\I@optname{#1}~#2} |
90 \newcommand{\DEFINES}[2]{\DEFINESNAME\I@optname{#1}~#2} |
91 \newcommand{\NOTES}[2]{\NOTESNAME~\ifthenelse{\equal{}{#1}}{}{#1=}#2} |
91 \newcommand{\NOTES}[2]{\NOTESNAME~\ifthenelse{\equal{}{#1}}{}{#1=}#2} |
92 \newcommand{\INCLUDES}[1]{\INCLUDESNAME~#1} |
92 \newcommand{\INCLUDES}[1]{\INCLUDESNAME~#1} |
|
93 \newcommand{\SHOWS}[2]{\isarkeyword{shows}\I@optname{#1}~#2} |
93 \newcommand{\FIX}[1]{\FIXNAME~#1} |
94 \newcommand{\FIX}[1]{\FIXNAME~#1} |
94 \newcommand{\ASSUME}[2]{\ASSUMENAME\I@optname{#1}~#2} |
95 \newcommand{\ASSUME}[2]{\ASSUMENAME\I@optname{#1}~#2} |
95 \newcommand{\PRESUME}[2]{\PRESUMENAME\I@optname{#1}~#2} |
96 \newcommand{\PRESUME}[2]{\PRESUMENAME\I@optname{#1}~#2} |
96 \newcommand{\CASE}[1]{\CASENAME~#1} |
97 \newcommand{\CASE}[1]{\CASENAME~#1} |
97 \newcommand{\THEN}{\isarkeyword{then}} |
98 \newcommand{\THEN}{\isarkeyword{then}} |