| Sat, 01 Sep 2018 20:20:50 +0200 | wenzelm | more explicit status for "canceled" command within theory node; | file | diff | annotate |
| Sat, 18 Aug 2018 22:09:09 +0200 | wenzelm | optional notification of nodes_status (via progress); | file | diff | annotate |
| Sat, 18 Aug 2018 17:29:49 +0200 | wenzelm | tuned signature; | file | diff | annotate |