# HG changeset patch
# User paulson
# Date 867943274 -7200
# Node ID 59ffc1c83403a6b85222b9cf82a0cc9f8d98655a
# Parent  823a6defdf0c7ab69e8478ee50cbc98f82b1c686
Modified the \tydx command to set types in italics instead of \tt

diff -r 823a6defdf0c -r 59ffc1c83403 doc-src/iman.sty
--- 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}}