| Thu, 01 May 2014 09:30:36 +0200 |
haftmann |
centralized upper/lowercase name mangling
|
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 |
formal markup for public ingredients
|
file |
diff |
annotate
|
| Sun, 09 Feb 2014 21:37:27 +0100 |
haftmann |
restoring ancient string_classes option
|
file |
diff |
annotate
|
| Sun, 09 Feb 2014 21:37:27 +0100 |
haftmann |
method names in instance declarations are always unqualified
|
file |
diff |
annotate
|
| Sun, 26 Jan 2014 16:23:46 +0100 |
haftmann |
more suitable names, without any notion of "activating"
|
file |
diff |
annotate
|
| Sat, 25 Jan 2014 23:50:49 +0100 |
haftmann |
less clumsy namespace
|
file |
diff |
annotate
|
| Sat, 25 Jan 2014 23:50:49 +0100 |
haftmann |
avoid (now superfluous) indirect passing of constant names
|
file |
diff |
annotate
|
| Sat, 25 Jan 2014 23:50:49 +0100 |
haftmann |
prefer explicit code symbol type over ad-hoc name mangling
|
file |
diff |
annotate
|
| Sat, 25 Jan 2014 23:50:49 +0100 |
haftmann |
more abstract declaration of unqualified constant names in code printing context
|
file |
diff |
annotate
|
| Tue, 30 Jul 2013 22:31:34 +0200 |
wenzelm |
proper PIDE markup for codegen arguments;
|
file |
diff |
annotate
|
| Thu, 04 Jul 2013 08:52:44 +0200 |
haftmann |
explicit hint for domain of class parameters in instance statements
|
file |
diff |
annotate
|
| 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
|
file |
diff |
annotate
|
| Fri, 24 May 2013 23:57:24 +0200 |
haftmann |
bookkeeping and input syntax for exact specification of names of symbols in generated code
|
file |
diff |
annotate
|