| Fri, 24 Jul 1998 13:19:38 +0200 | berghofe | Adapted to new datatype package. | file | diff | annotate |
| Mon, 25 May 1998 12:55:01 +0200 | nipkow | Swapped order of params. | file | diff | annotate |
| Thu, 14 May 1998 16:54:20 +0200 | nipkow | Reordred arguments in AutoChopper. | file | diff | annotate |