| Sat, 01 Sep 2018 20:20:50 +0200 | wenzelm | more explicit status for "canceled" command within theory node; | file | diff | annotate |
| Mon, 27 Aug 2018 19:29:07 +0200 | wenzelm | simplified markup; | file | diff | annotate |
| Sat, 18 Aug 2018 12:41:05 +0200 | wenzelm | clarified modules; | file | diff | annotate |