| 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 | formal markup for public ingredients | file | diff | annotate |