| Sun, 04 Sep 2011 19:36:19 +0200 | wenzelm | eliminated markup for plain identifiers (frequent but insignificant); | file | diff | annotate |
| Sat, 03 Sep 2011 21:15:35 +0200 | wenzelm | Document.removed_versions on Scala side; | file | diff | annotate |
| Fri, 02 Sep 2011 21:48:27 +0200 | wenzelm | raw message function "assign_execs" avoids full overhead of decoding and caching message body; | file | diff | annotate |
| Sat, 27 Aug 2011 17:26:14 +0200 | wenzelm | explicit markup for legacy warnings; | file | diff | annotate |
| Thu, 25 Aug 2011 16:44:06 +0200 | wenzelm | propagate information about last command with exec state assignment through document model; | file | diff | annotate |
| Fri, 19 Aug 2011 14:01:20 +0200 | wenzelm | Future.promise: explicit abort operation (like uninterruptible future job); | file | diff | annotate |
| Tue, 12 Jul 2011 19:36:46 +0200 | wenzelm | more uniform Properties in ML and Scala; | file | diff | annotate |