| Wed, 18 Oct 2017 20:14:57 +0200 | wenzelm | tuned output; | changeset | files |
| Wed, 18 Oct 2017 19:53:19 +0200 | wenzelm | more thorough treatment of afp_version and afp_pull_date; | changeset | files |
| Wed, 18 Oct 2017 11:53:01 +0200 | wenzelm | tuned options; | changeset | files |
| Tue, 17 Oct 2017 13:56:58 +0200 | wenzelm | tuned output; | changeset | files |
| Tue, 17 Oct 2017 13:51:43 +0200 | wenzelm | uniform execute, with proper isabelle_identifier (notably for "isabelle components -I"); | changeset | files |
| Tue, 17 Oct 2017 11:51:39 +0200 | wenzelm | tuned; | changeset | files |
| 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 |