| Fri, 06 Jan 2023 14:58:13 +0100 | wenzelm | more uniform operations; | changeset | files |
| 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 |
| Fri, 06 Jan 2023 12:05:32 +0100 | wenzelm | more command-line options; | changeset | files |
| Thu, 05 Jan 2023 22:30:20 +0100 | wenzelm | tuned options --- avoid confusion with "isabelle build -b"; | changeset | files |
| Thu, 05 Jan 2023 22:16:13 +0100 | wenzelm | tuned signature; | changeset | files |
| Thu, 05 Jan 2023 21:33:49 +0100 | wenzelm | isabelle update -u path_cartouches; | changeset | files |