# HG changeset patch # User wenzelm # Date 941194130 -7200 # Node ID b95d183ae476859dbad1777cef4043b139919bd7 # Parent 023778c8a0299bb592bbd0480ca4b827e04b9b24 tuned; diff -r 023778c8a029 -r b95d183ae476 Admin/index.html --- a/Admin/index.html Fri Oct 29 12:48:27 1999 +0200 +++ b/Admin/index.html Fri Oct 29 12:48:50 1999 +0200 @@ -39,13 +39,17 @@
Isabelle documentation:
-
diff -r 023778c8a029 -r b95d183ae476 doc-src/isar.sty --- a/doc-src/isar.sty Fri Oct 29 12:48:27 1999 +0200 +++ b/doc-src/isar.sty Fri Oct 29 12:48:50 1999 +0200 @@ -23,9 +23,7 @@ \newcommand{\isaratt}{attribute} \newcommand{\I@optname}[1]{\ifthenelse{\equal{}{#1}}{}{~#1\colon}} -\newcommand{\I@optoptname}[1]{\ifthenelse{\equal{}{#1}}{}{~[#1\colon]}} \newcommand{\I@optmeth}[1]{\ifthenelse{\equal{}{#1}}{}{~(#1)}} -\newcommand{\I@optoptmeth}[1]{\ifthenelse{\equal{}{#1}}{}{~[(#1)]}} \newcommand{\LEMMANAME}{\isarkeyword{lemma}} \newcommand{\THEOREMNAME}{\isarkeyword{theorem}}