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 \settdx;
authorwenzelm
Fri, 16 May 1997 15:49:27 +0200
changeset 3211 57a9b613036e
parent 3210 e80db1660614
child 3212 567c093297e6
added \settdx;
doc-src/iman.sty file | annotate | diff | comparison | revisions 
--- a/doc-src/iman.sty	Fri May 16 15:29:41 1997 +0200
+++ b/doc-src/iman.sty	Fri May 16 15:49:27 1997 +0200
@@ -35,6 +35,7 @@
 \newcommand\thydx[1]{{\tt#1}\index{#1@{\tt#1} theory}}
 
 \newcommand\tooldx[1]{{\tt#1}\index{#1@{\tt#1} tool}}
+\newcommand\settdx[1]{{\tt#1}\index{#1@{\tt#1} setting}}
 
 %for cross-references: 2nd argument (page number) is ignored
 \newcommand\see[2]{{\it see \/}{#1}}
isabelle