| 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 |
| Thu, 05 Jan 2023 21:18:55 +0100 | wenzelm | merged | changeset | files |
| Thu, 05 Jan 2023 21:14:53 +0100 | wenzelm | updated documentation; | changeset | files |