| Mon, 16 Oct 2017 14:32:09 +0200 | wenzelm | provide theory timing information, similar to command timing but always considered relevant; | changeset | files |
| Mon, 16 Oct 2017 14:21:14 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 16 Oct 2017 11:37:14 +0200 | wenzelm | init user settings on fresh test machine; | changeset | files |
| Mon, 16 Oct 2017 08:00:28 +0200 | nipkow | added [simp] | changeset | files |
| Sun, 15 Oct 2017 21:30:21 +0200 | wenzelm | proper value; | changeset | files |
| Sun, 15 Oct 2017 20:34:24 +0200 | wenzelm | more AFP tests; | changeset | files |