| Thu, 20 Apr 2017 11:38:42 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 17 Apr 2017 12:20:45 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 03 Apr 2017 16:36:45 +0200 | wenzelm | provide session qualifier via resources; | file | diff | annotate |
| Sat, 01 Apr 2017 15:35:32 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 20 Mar 2017 20:43:26 +0100 | wenzelm | support to encode/decode command state; | file | diff | annotate |
| Sat, 07 Jan 2017 20:37:48 +0100 | wenzelm | more uniform node_header (non-strict); | file | diff | annotate |
| Sat, 07 Jan 2017 20:01:05 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 07 Jan 2017 19:36:40 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Thu, 05 Jan 2017 16:16:18 +0100 | wenzelm | suppress empty results; | file | diff | annotate |
| Mon, 07 Nov 2016 19:09:10 +0100 | wenzelm | more uniform path syntax, as in ML (see 5a7c919a4ada); | file | diff | annotate |
| Tue, 02 Aug 2016 18:45:34 +0200 | wenzelm | tuned signature -- prover-independence is presently theoretical; | file | diff | annotate |
| Wed, 13 Apr 2016 18:01:05 +0200 | wenzelm | eliminated "xname" and variants; | file | diff | annotate |
| Wed, 13 Apr 2016 11:31:13 +0200 | wenzelm | clarified syntax; | file | diff | annotate |
| 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 |