Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added attdx, methdx;
authorwenzelm
Mon, 19 Jul 1999 16:53:49 +0200
changeset 7043 96d4aa129be1
parent 7042 94ef4859c6da
child 7044 193a8601fabd
added attdx, methdx;
doc-src/iman.sty file | annotate | diff | comparison | revisions 
--- a/doc-src/iman.sty	Mon Jul 19 16:53:31 1999 +0200
+++ b/doc-src/iman.sty	Mon Jul 19 16:53:49 1999 +0200
@@ -36,6 +36,8 @@
 
 \newcommand\tooldx[1]{{\tt#1}\index{#1@{\tt#1} tool}}
 \newcommand\settdx[1]{{\tt#1}\index{#1@{\tt#1} setting}}
+\newcommand\attdx[1]{{\tt#1}\index{#1@{\tt#1} attribute}}
+\newcommand\methdx[1]{{\tt#1}\index{#1@{\tt#1} proof method}}
 
 %for cross-references: 2nd argument (page number) is ignored
 \newcommand\see[2]{{\it see \/}{#1}}
isabelle