Wed, 14 Apr 2004 14:13:05 +0200 |
use more symbols in HTML output
|
file | diff | annotate |
Fri, 09 Nov 2001 00:09:47 +0100 |
eliminated old "symbols" syntax, use "xsymbols" instead;
|
file | diff | annotate |
Sat, 03 Nov 2001 01:41:26 +0100 |
GPLed;
|
file | diff | annotate |
Wed, 17 Mar 1999 13:47:34 +0100 |
fixed typedef representing set;
|
file | diff | annotate |
Mon, 17 Feb 1997 10:57:11 +0100 |
Changes of HOLCF from Oscar Slotosch:
|
file | diff | annotate |
Fri, 13 Dec 1996 18:45:58 +0100 |
adaptions for symbol font
|
file | diff | annotate |
Mon, 02 Dec 1996 12:37:15 +0100 |
removed 8bit sections
|
file | diff | annotate |
Fri, 29 Nov 1996 12:22:22 +0100 |
*** empty log message ***
|
file | diff | annotate |
Tue, 06 Feb 1996 12:42:31 +0100 |
expanded tabs
|
file | diff | annotate |
Fri, 06 Oct 1995 17:25:24 +0100 |
added 8bit pragmas
|
file | diff | annotate |
Thu, 29 Jun 1995 16:28:40 +0200 |
The curried version of HOLCF is now just called HOLCF. The old
|
file | diff | annotate |
Wed, 21 Jun 1995 15:14:58 +0200 |
removed \...\ inside strings
|
file | diff | annotate |
Wed, 19 Jan 1994 17:35:01 +0100 |
Franz Regensburger's Higher-Order Logic of Computable Functions embedding LCF
|
file | diff | annotate |