Mon, 08 Oct 2001 14:29:02 +0200 | wenzelm | fixed numerals; | file | diff | annotate |
Tue, 17 Jul 2001 13:46:21 +0200 | paulson | tidying the index | file | diff | annotate |
Fri, 29 Jun 2001 18:12:18 +0200 | paulson | the records section | file | diff | annotate |
Fri, 29 Jun 2001 16:59:10 +0200 | paulson | for the records section | file | diff | annotate |