Thu, 04 Dec 2014 16:51:54 +0100 |
haftmann |
tuned module structure
|
file |
diff |
annotate
|
Wed, 26 Nov 2014 20:05:34 +0100 |
wenzelm |
renamed "pairself" to "apply2", in accordance to @{apply 2};
|
file |
diff |
annotate
|
Thu, 02 Oct 2014 17:51:04 +0200 |
haftmann |
accomplish potentially case-insenstive file systems for Scala
|
file |
diff |
annotate
|
Sat, 28 Jun 2014 22:13:20 +0200 |
haftmann |
corrected handled exception
|
file |
diff |
annotate
|
Fri, 02 May 2014 21:18:50 +0200 |
haftmann |
enforce case of identifiers only to accomodate strict language requirements (or clear separation of constructors from variables in the case of SML)
|
file |
diff |
annotate
|
Thu, 27 Feb 2014 18:07:53 +0100 |
haftmann |
amended some slips, rolling back currently dysfunctional export minimimalisation for Scala
|
file |
diff |
annotate
|
Sun, 23 Feb 2014 10:33:43 +0100 |
haftmann |
keep only identifiers public which are explicitly requested or demanded by dependencies
|
file |
diff |
annotate
|
Sun, 23 Feb 2014 10:33:43 +0100 |
haftmann |
explicit option for "open" code generation
|
file |
diff |
annotate
|
Sun, 23 Feb 2014 10:33:43 +0100 |
haftmann |
more fine-grain notion of export
|
file |
diff |
annotate
|
Sun, 23 Feb 2014 10:33:43 +0100 |
haftmann |
tuned
|
file |
diff |
annotate
|
Sun, 23 Feb 2014 10:33:43 +0100 |
haftmann |
formal markup for public ingredients
|
file |
diff |
annotate
|
Thu, 20 Feb 2014 10:32:09 +0100 |
haftmann |
tuned
|
file |
diff |
annotate
|
Mon, 03 Feb 2014 08:23:21 +0100 |
haftmann |
code generation: explicitly declared identifiers gain predence over implicit ones
|
file |
diff |
annotate
|
Mon, 03 Feb 2014 08:23:20 +0100 |
haftmann |
tuned
|
file |
diff |
annotate
|
Mon, 03 Feb 2014 08:23:19 +0100 |
haftmann |
tuned storage of code identifiers
|
file |
diff |
annotate
|