# HG changeset patch # User wenzelm # Date 1015265161 -3600 # Node ID a474097a4c65de5c1e9bc46210fe11cf7918c55c # Parent 3437d8d8980310e62cf4d1eaee1cd41e89e90f2c \SHOWS; diff -r 3437d8d89803 -r a474097a4c65 doc-src/isar.sty --- a/doc-src/isar.sty Mon Mar 04 14:27:10 2002 +0100 +++ b/doc-src/isar.sty Mon Mar 04 19:06:01 2002 +0100 @@ -90,6 +90,7 @@ \newcommand{\DEFINES}[2]{\DEFINESNAME\I@optname{#1}~#2} \newcommand{\NOTES}[2]{\NOTESNAME~\ifthenelse{\equal{}{#1}}{}{#1=}#2} \newcommand{\INCLUDES}[1]{\INCLUDESNAME~#1} +\newcommand{\SHOWS}[2]{\isarkeyword{shows}\I@optname{#1}~#2} \newcommand{\FIX}[1]{\FIXNAME~#1} \newcommand{\ASSUME}[2]{\ASSUMENAME\I@optname{#1}~#2} \newcommand{\PRESUME}[2]{\PRESUMENAME\I@optname{#1}~#2}