| Sat, 11 Jul 2020 14:44:50 +0200 | wenzelm | removed unused property; | changeset | files |
| Sat, 11 Jul 2020 06:21:04 +0000 | haftmann | signed_take_bit | changeset | files |
| Sat, 11 Jul 2020 06:21:02 +0000 | haftmann | more on single-bit operations | changeset | files |
| 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 |
| Fri, 10 Jul 2020 21:23:01 +0200 | wenzelm | more robust build_session protocol: allow prover process to terminate/crash without build_session_finished message; | changeset | files |