| Thu, 26 Aug 2010 12:30:43 +0200 | haftmann | private version of commas, cf. printmode | file | diff | annotate |
| 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 |
| Sat, 24 Jul 2010 18:08:41 +0200 | haftmann | another refinement chapter in the neverending numeral story | file | diff | annotate |