| Fri, 10 Jul 2020 22:38:03 +0200 | wenzelm | proper session Timing for build_history log file (see 5c4800f6b25a); | changeset | files |
| Fri, 10 Jul 2020 21:58:49 +0200 | wenzelm | clarified signature; | changeset | files |
| Fri, 10 Jul 2020 21:30:21 +0200 | wenzelm | more robust, notably for isabelle_cronjob; | changeset | files |