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