| Sat, 03 Nov 2001 18:41:28 +0100 | wenzelm | GPLed; | file | diff | annotate |
| Tue, 09 Jan 2001 15:36:30 +0100 | nipkow | ` -> $ | file | diff | annotate |
| Fri, 31 Jan 1997 16:56:32 +0100 | oheimb | added Classlib.* and Witness.*, | file | diff | annotate |
| Tue, 06 Feb 1996 12:42:31 +0100 | clasohm | expanded tabs | file | diff | annotate |
| Fri, 06 Oct 1995 17:25:24 +0100 | regensbu | added 8bit pragmas | file | diff | annotate |