Thu, 06 Dec 2001 16:05:06 +0100 | paulson | replaced record_split by the cases method | file | diff | annotate |
Thu, 06 Dec 2001 13:00:25 +0100 | paulson | record extend and truncate | file | diff | annotate |
Mon, 12 Nov 2001 10:56:38 +0100 | paulson | new-style numerals without leading #, along with generic 0 and 1 | file | diff | annotate |
Thu, 25 Oct 2001 22:59:11 +0200 | wenzelm | accomodate some recent changes of record package; | file | diff | annotate |
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 |