doc-src/iman.sty
2000-09-27 paulson exchanged the declaration of "seealso" and loading of "makeidx" because the
2000-08-28 wenzelm moved \tt things to ttbox.sty;
2000-05-08 wenzelm recovered \seealso;
2000-05-08 wenzelm \usepackage{makeidx};
1999-10-29 wenzelm tuned;
1999-09-04 wenzelm removed \VVar;
1999-09-03 wenzelm \PROP;
1999-08-23 wenzelm tuned;
1999-08-22 wenzelm \VVar;
1999-08-03 wenzelm tuned attdx, methdx;
1999-07-30 wenzelm added \text;
1999-07-19 wenzelm added attdx, methdx;
1999-05-28 wenzelm \def\bold;
1999-01-13 paulson defined dquotesoff
1998-10-24 wenzelm tuned;
1998-10-23 wenzelm matharray;
1997-11-20 paulson New, higher-level definition of \\out macro
1997-07-03 paulson Modified the \tydx command to set types in italics instead of \tt
1997-05-16 wenzelm added \settdx;
1997-05-14 wenzelm added \tooldx;
1997-05-06 wenzelm added \Pure, \CPure;
1997-05-02 wenzelm fixed comment;
1997-05-02 berghofe Updated to LaTeX 2e
1996-04-04 nipkow Messed up last update.
1996-04-04 nipkow Replaced \CHOL by \HOLCF
1995-05-09 clasohm added \CHOL
1994-05-03 lcp post-CRC corrections
1994-03-24 lcp added \iflabelundefined
1994-03-23 lcp first draft of Springer volume
1993-11-23 nipkow changed itmath trickery to be compatible with NFSS (itmath.sty)
1993-11-11 lcp new style file
less more (0) tip