Thu, 19 Aug 1999 19:55:13 +0200 | wenzelm | quite a lot of tuning an cleanup; | file | diff | annotate |
Thu, 22 Apr 1999 18:25:24 +0200 | wenzelm | fixed IO; | file | diff | annotate |
Thu, 22 Apr 1999 12:42:14 +0200 | mueller | added for mucke translation; | file | diff | annotate |