doc-src/TutorialI/isa-index
Wed, 11 Jul 2001 13:55:43 +0200 careful changes to make its output identical to that of indexing macros
Mon, 09 Jul 2001 13:43:02 +0200 isa-index replaces ../sedindex: knows about \\isa