| 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 |