\SHOWS;
authorwenzelm
Mon Mar 04 19:06:01 2002 +0100 (2002-03-04)
changeset 13011a474097a4c65
parent 13010 3437d8d89803
child 13012 f8bfc61ee1b5
\SHOWS;
doc-src/isar.sty
     1.1 --- a/doc-src/isar.sty	Mon Mar 04 14:27:10 2002 +0100
     1.2 +++ b/doc-src/isar.sty	Mon Mar 04 19:06:01 2002 +0100
     1.3 @@ -90,6 +90,7 @@
     1.4  \newcommand{\DEFINES}[2]{\DEFINESNAME\I@optname{#1}~#2}
     1.5  \newcommand{\NOTES}[2]{\NOTESNAME~\ifthenelse{\equal{}{#1}}{}{#1=}#2}
     1.6  \newcommand{\INCLUDES}[1]{\INCLUDESNAME~#1}
     1.7 +\newcommand{\SHOWS}[2]{\isarkeyword{shows}\I@optname{#1}~#2}
     1.8  \newcommand{\FIX}[1]{\FIXNAME~#1}
     1.9  \newcommand{\ASSUME}[2]{\ASSUMENAME\I@optname{#1}~#2}
    1.10  \newcommand{\PRESUME}[2]{\PRESUMENAME\I@optname{#1}~#2}