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.
Modified the \tydx command to set types in italics instead of \tt
authorpaulson
Thu, 03 Jul 1997 17:21:14 +0200
changeset 3491 59ffc1c83403
parent 3490 823a6defdf0c
child 3492 88e786024079
Modified the \tydx command to set types in italics instead of \tt
doc-src/iman.sty file | annotate | diff | comparison | revisions 
--- 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