# 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}