| changeset 24991 | c6f5cc939c29 |
| parent 20379 | 154d8c155a65 |
| child 25533 | 0140cc7b26ad |
--- a/doc-src/isar.sty Thu Oct 11 23:03:51 2007 +0200 +++ b/doc-src/isar.sty Fri Oct 12 08:20:43 2007 +0200 @@ -83,6 +83,7 @@ \newcommand{\THEOREMS}{\isarkeyword{theorems}} \newcommand{\LOCALE}{\isarkeyword{locale}} \newcommand{\CLASS}{\isarkeyword{class}} +\newcommand{\SUBCLASS}{\isarkeyword{subclass}} \newcommand{\TEXT}{\isarkeyword{text}} \newcommand{\TXT}{\isarkeyword{txt}} \newcommand{\NOTE}[2]{\NOTENAME~\ifthenelse{\equal{}{#1}}{}{#1=}#2}