Tue, 17 Oct 2017 11:29:14 +0200 | wenzelm | permissive theory_timings for historic versions; | changeset | files |
Mon, 16 Oct 2017 19:59:18 +0200 | wenzelm | store theory timings in session in build_log database; | changeset | files |
Mon, 16 Oct 2017 14:32:09 +0200 | wenzelm | provide theory timing information, similar to command timing but always considered relevant; | changeset | files |