| 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, 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 | 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 |