src/Tools/Code/code_namespace.ML
Thu, 04 Dec 2014 16:51:54 +0100 haftmann tuned module structure
Wed, 26 Nov 2014 20:05:34 +0100 wenzelm renamed "pairself" to "apply2", in accordance to @{apply 2};
Thu, 02 Oct 2014 17:51:04 +0200 haftmann accomplish potentially case-insenstive file systems for Scala
Sat, 28 Jun 2014 22:13:20 +0200 haftmann corrected handled exception
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)
Thu, 27 Feb 2014 18:07:53 +0100 haftmann amended some slips, rolling back currently dysfunctional export minimimalisation for Scala
Sun, 23 Feb 2014 10:33:43 +0100 haftmann keep only identifiers public which are explicitly requested or demanded by dependencies
Sun, 23 Feb 2014 10:33:43 +0100 haftmann explicit option for "open" code generation
Sun, 23 Feb 2014 10:33:43 +0100 haftmann more fine-grain notion of export
Sun, 23 Feb 2014 10:33:43 +0100 haftmann tuned
Sun, 23 Feb 2014 10:33:43 +0100 haftmann formal markup for public ingredients
Thu, 20 Feb 2014 10:32:09 +0100 haftmann tuned
Mon, 03 Feb 2014 08:23:21 +0100 haftmann code generation: explicitly declared identifiers gain predence over implicit ones
Mon, 03 Feb 2014 08:23:20 +0100 haftmann tuned
Mon, 03 Feb 2014 08:23:19 +0100 haftmann tuned storage of code identifiers
less more (0) -15 tip