doc-src/TutorialI/tutorial.sty
Sat, 05 Jan 2002 01:18:54 +0100 wenzelm \newcommand{\isasymignore}{}, so we may use \<ignore> to disambiguate
Thu, 26 Jul 2001 18:23:38 +0200 paulson additional revisions to chapters 1, 2
Thu, 26 Jul 2001 16:43:02 +0200 paulson revisions and indexing
Tue, 17 Jul 2001 13:46:21 +0200 paulson tidying the index
Fri, 13 Jul 2001 18:20:26 +0200 paulson fixed bad error in tdxbold; also removed default indexing in \\rulename
Wed, 11 Jul 2001 13:55:15 +0200 paulson new macro file for the tutorial
less more (0) tip