| Fri, 18 May 2001 17:18:43 +0200 | paulson | minor suggestions by Tanja Vos | file | diff | annotate |
| Thu, 17 May 2001 11:31:08 +0200 | paulson | typo, etc. | file | diff | annotate |
| Thu, 10 May 2001 13:44:44 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Thu, 25 Jan 2001 15:31:31 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Wed, 24 Jan 2001 12:29:10 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Fri, 05 Jan 2001 18:32:57 +0100 | paulson | minor edits to Chapters 1-3 | file | diff | annotate |