| Thu, 05 Nov 2015 00:02:30 +0100 | wenzelm | symbolic syntax "\<comment> text"; | file | diff | annotate |
| Sat, 19 Sep 2015 21:07:37 +0200 | wenzelm | straight-forward refresh, without special preconditions; | file | diff | annotate |
| Wed, 12 Aug 2015 13:53:51 +0200 | wenzelm | resolve undefined blobs by default, e.g. relevant for ML debugger to avoid reset of breakpoints after reload; | file | diff | annotate |
| Sun, 03 May 2015 00:01:10 +0200 | wenzelm | misc tuning, based on warnings by IntelliJ IDEA; | file | diff | annotate |
| Sat, 04 Apr 2015 21:21:40 +0200 | wenzelm | more general notion of command span: command keyword not necessarily at start; | file | diff | annotate |
| Tue, 17 Mar 2015 15:21:41 +0100 | wenzelm | misc tuning and simplification; | file | diff | annotate |
| Mon, 16 Mar 2015 13:32:31 +0100 | wenzelm | avoid duplicate header errors, more precise positions; | file | diff | annotate |