Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/iman.sty
changeset 3491 59ffc1c83403
parent 3211 57a9b613036e
child 4244 f50dace8be9f 
--- a/doc-src/iman.sty	Thu Jul 03 17:20:07 1997 +0200
+++ b/doc-src/iman.sty	Thu Jul 03 17:21:14 1997 +0200
@@ -31,7 +31,7 @@
 \newcommand\ndxbold[1]{{\tt#1}\index{#1@{\tt#1} nonterminal|bold}}
 
 \newcommand\cldx[1]{{\tt#1}\index{#1@{\tt#1} class}}
-\newcommand\tydx[1]{{\tt#1}\index{#1@{\tt#1} type}}
+\newcommand\tydx[1]{\textit{#1}\index{#1@{\textit{#1}} type}}
 \newcommand\thydx[1]{{\tt#1}\index{#1@{\tt#1} theory}}
 
 \newcommand\tooldx[1]{{\tt#1}\index{#1@{\tt#1} tool}}
isabelle