| Wed, 11 Jul 2001 15:10:07 +0200 | paulson | new preface | changeset | files |
| Wed, 11 Jul 2001 14:00:48 +0200 | paulson | tweaks for new version | changeset | files |
| Wed, 11 Jul 2001 13:57:01 +0200 | paulson | indexing and tweaks | changeset | files |
| Wed, 11 Jul 2001 13:56:15 +0200 | paulson | tweak | changeset | files |
| Wed, 11 Jul 2001 13:55:43 +0200 | paulson | careful changes to make its output identical to that of indexing macros | changeset | files |
| Wed, 11 Jul 2001 13:55:15 +0200 | paulson | new macro file for the tutorial | changeset | files |
| Wed, 11 Jul 2001 13:54:44 +0200 | paulson | separate preface and macro file | changeset | files |