| Mon, 28 May 2012 13:38:07 +0200 |
haftmann |
dropped sort constraints on datatype specifications
|
file |
diff |
annotate
|
| Thu, 19 Apr 2012 19:18:11 +0200 |
haftmann |
dropped dead code
|
file |
diff |
annotate
|
| Fri, 09 Mar 2012 20:17:16 +0100 |
haftmann |
always bracket case expressions in Scala
|
file |
diff |
annotate
|
| Tue, 20 Sep 2011 09:30:19 +0200 |
bulwahn |
syntactic improvements and tuning names in the code generator due to Florian's code review
|
file |
diff |
annotate
|
| Wed, 07 Sep 2011 13:51:32 +0200 |
bulwahn |
adding the body type as well to the code generation for constants as it is required for type annotations of constants
|
file |
diff |
annotate
|
| Wed, 07 Sep 2011 13:51:30 +0200 |
bulwahn |
changing const type to pass along if typing annotations are necessary for disambigous terms
|
file |
diff |
annotate
|
| Sat, 20 Aug 2011 23:35:30 +0200 |
wenzelm |
refined Graph implementation: more abstract/scalable Graph.Keys instead of plain lists -- order of adjacency is now standardized wrt. Key.ord;
|
file |
diff |
annotate
|
| Thu, 09 Jun 2011 20:22:22 +0200 |
wenzelm |
tuned signature: Name.invent and Name.invent_names;
|
file |
diff |
annotate
|
| Thu, 09 Jun 2011 17:51:49 +0200 |
wenzelm |
simplified Name.variant -- discontinued builtin fold_map;
|
file |
diff |
annotate
|
| Sun, 13 Mar 2011 14:51:38 +0100 |
wenzelm |
allow spaces in executable names;
|
file |
diff |
annotate
|
| Sun, 13 Mar 2011 13:57:20 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 19 Feb 2011 08:47:46 +0100 |
haftmann |
dropped redundancy
|
file |
diff |
annotate
|