Thu, 21 May 2009 18:49:14 -0700 |
huffman |
change representation of Domain_Library.arg
|
file |
diff |
annotate
|
Thu, 21 May 2009 18:23:19 -0700 |
huffman |
make type Domain_Library.arg abstract
|
file |
diff |
annotate
|
Tue, 12 May 2009 12:16:33 -0700 |
huffman |
allow lazy domain arguments to have class cpo
|
file |
diff |
annotate
|
Tue, 12 May 2009 11:37:40 -0700 |
huffman |
fix domain package parsing of lhs sort constraints
|
file |
diff |
annotate
|
Wed, 29 Apr 2009 13:36:29 -0700 |
huffman |
use opaque ascription for all HOLCF code
|
file |
diff |
annotate
|
Tue, 21 Apr 2009 15:57:08 -0700 |
huffman |
make domain package ML interface more consistent with datatype package; use binding instead of bstring
|
file |
diff |
annotate
|
Mon, 20 Apr 2009 17:38:25 -0700 |
huffman |
allow infix declarations for type constructors defined with domain package
|
file |
diff |
annotate
|
Mon, 20 Apr 2009 15:37:35 -0700 |
huffman |
remove obsolete comments
|
file |
diff |
annotate
|
Sun, 08 Mar 2009 17:26:14 +0100 |
wenzelm |
moved basic algebra of long names from structure NameSpace to Long_Name;
|
file |
diff |
annotate
|
Sat, 07 Mar 2009 22:17:25 +0100 |
wenzelm |
more uniform handling of binding in packages;
|
file |
diff |
annotate
|
Thu, 05 Mar 2009 12:08:00 +0100 |
wenzelm |
renamed NameSpace.base to NameSpace.base_name;
|
file |
diff |
annotate
|
Wed, 21 Jan 2009 18:27:43 +0100 |
haftmann |
binding replaces bstring
|
file |
diff |
annotate
|
Thu, 04 Dec 2008 14:43:33 +0100 |
haftmann |
cleaned up binding module and related code
|
file |
diff |
annotate
|
Thu, 09 Oct 2008 08:47:26 +0200 |
haftmann |
established canonical argument order
|
file |
diff |
annotate
|
Wed, 25 Jun 2008 17:38:32 +0200 |
wenzelm |
moved global keywords from OuterSyntax to OuterKeyword, tuned interfaces;
|
file |
diff |
annotate
|
Tue, 09 Oct 2007 17:10:34 +0200 |
wenzelm |
AxClass.axiomatize: renamed XXX_i to XXX, and XXX to XXX_cmd;
|
file |
diff |
annotate
|
Sat, 06 Oct 2007 16:50:04 +0200 |
wenzelm |
simplified interfaces for outer syntax;
|
file |
diff |
annotate
|
Tue, 25 Sep 2007 17:06:14 +0200 |
wenzelm |
proper Sign operations instead of Theory aliases;
|
file |
diff |
annotate
|
Tue, 25 Sep 2007 13:28:37 +0200 |
wenzelm |
Syntax.parse/check/read;
|
file |
diff |
annotate
|
Thu, 31 May 2007 14:01:58 +0200 |
wenzelm |
moved HOLCF tools to canonical place;
|
file |
diff |
annotate
|