| 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, 12 Jun 1998 17:06:58 +0200 |
wenzelm |
changed (| |) syntax to (: :);
|
file |
diff |
annotate
|
| Fri, 10 Oct 1997 19:02:28 +0200 |
wenzelm |
fixed dots;
|
file |
diff |
annotate
|
| Fri, 07 Mar 1997 15:05:00 +0100 |
wenzelm |
removed (| |) symbols syntax;
|
file |
diff |
annotate
|
| Mon, 17 Feb 1997 10:57:11 +0100 |
slotosch |
Changes of HOLCF from Oscar Slotosch:
|
file |
diff |
annotate
|
| Mon, 16 Dec 1996 13:10:02 +0100 |
oheimb |
corrected 8bit symbols
|
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
|
| 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
|
| Thu, 29 Jun 1995 16:28:40 +0200 |
regensbu |
The curried version of HOLCF is now just called HOLCF. The old
|
file |
diff |
annotate
|
| Mon, 28 Nov 1994 19:48:30 +0100 |
regensbu |
----------------------------------------------------------------------
|
file |
diff |
annotate
|
| Wed, 26 Oct 1994 15:20:55 +0100 |
nipkow |
simplified syntax of infix continuous functiuons
|
file |
diff |
annotate
|
| Thu, 06 Oct 1994 18:40:18 +0100 |
nipkow |
New version
|
file |
diff |
annotate
|
| Wed, 29 Jun 1994 12:03:41 +0200 |
clasohm |
added parentheses made necessary by change of constrain's precedence
|
file |
diff |
annotate
|
| Wed, 19 Jan 1994 17:35:01 +0100 |
nipkow |
Franz Regensburger's Higher-Order Logic of Computable Functions embedding LCF
|
file |
diff |
annotate
|