| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Sat, 03 Nov 2001 01:41:26 +0100 | wenzelm | GPLed; | file | diff | annotate |
| Tue, 09 Jan 2001 15:32:27 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Fri, 10 Oct 1997 19:02:28 +0200 | wenzelm | fixed dots; | file | diff | annotate |
| Mon, 17 Feb 1997 10:57:11 +0100 | slotosch | Changes of HOLCF from Oscar Slotosch: | file | diff | annotate |
| Fri, 13 Dec 1996 18:45:58 +0100 | oheimb | adaptions for symbol font | file | diff | annotate |
| Mon, 02 Dec 1996 12:37:15 +0100 | oheimb | removed 8bit sections | file | diff | annotate |
| Fri, 29 Nov 1996 12:22:22 +0100 | oheimb | *** empty log message *** | file | diff | annotate |