| Fri, 26 May 2017 20:52:01 +0200 | wenzelm | store errors in build_history logs and database; | file | diff | annotate |
| Sun, 07 May 2017 16:04:19 +0200 | wenzelm | more operations; | file | diff | annotate |
| Mon, 20 Mar 2017 20:43:26 +0100 | wenzelm | support to encode/decode command state; | file | diff | annotate |
| Sat, 18 Mar 2017 22:11:05 +0100 | wenzelm | more informative session result; | file | diff | annotate |
| Sat, 18 Mar 2017 20:51:42 +0100 | wenzelm | more realistic PIDE build session; | file | diff | annotate |
| Fri, 10 Mar 2017 21:47:48 +0100 | wenzelm | suppress irrelevant markup for VSCode; | file | diff | annotate |