src/Tools/Code/code_target.ML
Thu, 01 May 2014 09:30:35 +0200 haftmann optional case enforcement
Tue, 18 Mar 2014 17:39:03 +0100 wenzelm clarifed module name;
Tue, 18 Mar 2014 11:27:09 +0100 wenzelm tuned signature;
Sun, 09 Mar 2014 16:37:56 +0100 wenzelm tuned signature;
Thu, 06 Mar 2014 12:10:19 +0100 wenzelm tuned signature -- more uniform check_type_name/read_type_name;
Thu, 27 Feb 2014 18:07:53 +0100 haftmann amended some slips, rolling back currently dysfunctional export minimimalisation for Scala
Wed, 26 Feb 2014 11:57:52 +0100 haftmann prefer proof context over background theory
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, 09 Feb 2014 21:37:27 +0100 haftmann dropped legacy finally
Mon, 03 Feb 2014 19:50:38 +0100 wenzelm merged;
Mon, 03 Feb 2014 16:33:54 +0100 wenzelm more formal markup;
Mon, 03 Feb 2014 08:23:19 +0100 haftmann tuned storage of code identifiers
Thu, 30 Jan 2014 16:09:04 +0100 haftmann reduced prominence of "permissive code generation"
Sun, 26 Jan 2014 16:23:46 +0100 haftmann more suitable names, without any notion of "activating"
Sat, 25 Jan 2014 23:50:49 +0100 haftmann less clumsy namespace
Sat, 25 Jan 2014 23:50:49 +0100 haftmann immediate "activation" of const syntax at declaration time
Sat, 25 Jan 2014 23:50:49 +0100 haftmann prefer explicit code symbol type over ad-hoc name mangling
Sat, 25 Jan 2014 23:50:49 +0100 haftmann more abstract syntax passing
Sat, 11 Jan 2014 08:10:12 +0100 haftmann dropped legacy alias feature
Wed, 01 Jan 2014 01:05:48 +0100 haftmann fundamental treatment of undefined vs. universally partial replaces code_abort
Wed, 01 Jan 2014 01:05:46 +0100 haftmann explicit distinction between empty code equations and no code equations, including convenient declaration attributes
Mon, 07 Oct 2013 17:55:01 +0200 wenzelm proper warning at run time, not in the parser;
Thu, 05 Sep 2013 18:05:02 +0200 haftmann check explicit module names for conformity
Tue, 30 Jul 2013 22:31:34 +0200 wenzelm proper PIDE markup for codegen arguments;
Sun, 23 Jun 2013 21:16:07 +0200 haftmann migration from code_(const|type|class|instance) to code_printing and from code_module to code_identifier
Sun, 23 Jun 2013 21:16:06 +0200 haftmann more appropriate cutting of input syntax
Sat, 15 Jun 2013 17:19:23 +0200 haftmann more consistent parsing and reading of classes and type constructors
Wed, 29 May 2013 10:47:42 +0200 wenzelm make SML/NJ happy;
Sun, 26 May 2013 21:05:03 +0200 wenzelm tuned;
less more (0) -100 -50 -30 tip