| Wed, 11 Nov 2009 10:22:47 +0100 |
Cezary Kaliszyk |
Removed 'Toplevel.program' for polyml 5.3
|
file |
diff |
annotate
|
| Thu, 05 Nov 2009 13:47:04 +0100 |
Christian Urban |
removed typing information from get_fun in quotient_def; *potentially* dangerous
|
file |
diff |
annotate
|
| Thu, 05 Nov 2009 09:38:34 +0100 |
Cezary Kaliszyk |
Infrastructure for polymorphic types
|
file |
diff |
annotate
|
| Wed, 04 Nov 2009 16:10:39 +0100 |
Cezary Kaliszyk |
Two new tests for get_fun. Second one fails.
|
file |
diff |
annotate
|
| Mon, 02 Nov 2009 09:33:48 +0100 |
Christian Urban |
fixed the problem with types in map
|
file |
diff |
annotate
|
| Wed, 28 Oct 2009 19:46:15 +0100 |
Christian Urban |
ported all constant definitions to new scheme
|
file |
diff |
annotate
|
| Sun, 25 Oct 2009 23:44:41 +0100 |
Christian Urban |
added code for declaring map-functions
|
file |
diff |
annotate
|
| Sat, 24 Oct 2009 18:17:38 +0200 |
Christian Urban |
changed the definitions of liftet constants to use fun_maps
|
file |
diff |
annotate
|
| Sat, 24 Oct 2009 16:31:07 +0200 |
Christian Urban |
changed encoding from utf8 to ISO8 (needed to work with xemacs)
|
file |
diff |
annotate
|
| Fri, 23 Oct 2009 16:34:20 +0200 |
Cezary Kaliszyk |
Split Finite Set example into separate file
|
file |
diff |
annotate
|