| Fri, 27 Aug 2010 15:36:02 +0200 | haftmann | improved deresolving of implicits | file | diff | annotate |
| Fri, 27 Aug 2010 13:32:05 +0200 | haftmann | proper namespace administration for hierarchical modules | file | diff | annotate |
| Thu, 26 Aug 2010 14:04:13 +0200 | haftmann | only print qualified implicits | file | diff | annotate |
| Thu, 26 Aug 2010 13:54:33 +0200 | haftmann | stub for (later) correct deresolving of class method names | file | diff | annotate |
| Thu, 26 Aug 2010 13:50:58 +0200 | haftmann | tuned serializer interface | file | diff | annotate |
| 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 |