| Thu, 08 Jun 2023 14:45:31 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Thu, 16 Mar 2023 15:55:49 +0100 | wenzelm | proper vacuum of session_info tables: only once per build process; | file | diff | annotate |
| Thu, 16 Mar 2023 15:16:17 +0100 | wenzelm | more thorough treatment of build prefs, guarded by system option "build_through": avoid accidental rebuild of HOL etc.; | file | diff | annotate |
| Tue, 14 Mar 2023 20:25:48 +0100 | wenzelm | more specific vacuum operation, which is also relevant to PostgreSQL; | file | diff | annotate |
| Tue, 14 Mar 2023 20:06:37 +0100 | wenzelm | tuned signature: removed redundant argument; | file | diff | annotate |
| Tue, 14 Mar 2023 20:04:48 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 14 Mar 2023 20:01:05 +0100 | wenzelm | proper build_uuid for Build_Process.Task: thus old entries are removed via prepare_database/clean_build; | file | diff | annotate |