Sun, 16 Jul 2023 12:34:30 +0200 | wenzelm | tuned output; | changeset | files |
Sun, 16 Jul 2023 12:19:48 +0200 | wenzelm | prefer asynchronous operations: reduce time spent within synchronized_database("Build_Process.start_job"); | changeset | files |
Sun, 16 Jul 2023 11:46:53 +0200 | wenzelm | clarified isabelle.transaction_log: support time_min (in ms); | changeset | files |