| Tue, 03 Nov 2015 16:35:38 +0100 | wenzelm | more direct task future implementation, with proper cancel operation; | file | diff | annotate |
| Tue, 03 Nov 2015 13:54:34 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Sun, 03 May 2015 00:01:10 +0200 | wenzelm | misc tuning, based on warnings by IntelliJ IDEA; | file | diff | annotate |
| Tue, 17 Mar 2015 15:21:41 +0100 | wenzelm | misc tuning and simplification; | file | diff | annotate |
| Mon, 16 Mar 2015 11:07:56 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Sun, 15 Mar 2015 19:21:15 +0100 | wenzelm | hybrid use of command blobs: inlined errors and auxiliary files; | file | diff | annotate |
| Tue, 02 Dec 2014 14:16:56 +0100 | wenzelm | node-specific syntax, with base_syntax as default; | file | diff | annotate |