| Mon, 30 Oct 2017 17:06:02 +0100 | wenzelm | proper order of initialization (amending 9953ae603a23); | file | diff | annotate |
| Mon, 16 Oct 2017 14:32:09 +0200 | wenzelm | provide theory timing information, similar to command timing but always considered relevant; | file | diff | annotate |