| Thu, 26 Aug 2010 10:23:25 +0200 | haftmann | corrected semantics of presentation_stmt_names; do not print includes on presentation selection | file | diff | annotate |
| Thu, 26 Aug 2010 10:16:22 +0200 | haftmann | code_include Scala: qualify module nmae | file | diff | annotate |
| Wed, 25 Aug 2010 16:33:05 +0200 | haftmann | preliminary implementation of hierarchical module name space | file | diff | annotate |
| Thu, 29 Jul 2010 09:57:00 +0200 | haftmann | tuned printing of applications and let cascades | file | diff | annotate |