| Fri, 06 Jan 2023 14:37:55 +0100 | wenzelm | restrict to proper_session_theories; | changeset | files |
| Fri, 06 Jan 2023 13:09:08 +0100 | wenzelm | proper build parameters (amending d858e6f15da3); | changeset | files |
| Fri, 06 Jan 2023 13:06:03 +0100 | wenzelm | treat update_options as part of Sessions.Info meta_digest, for proper re-build of updated sessions; | changeset | files |