2023-01-05 | wenzelm | tuned options --- avoid confusion with "isabelle build -b"; | changeset | files |
2023-01-05 | wenzelm | tuned signature; | changeset | files |
2023-01-05 | wenzelm | isabelle update -u path_cartouches; | changeset | files |
2023-01-05 | wenzelm | merged | changeset | files |
2023-01-05 | wenzelm | updated documentation; | changeset | files |
2023-01-05 | wenzelm | more options; | changeset | files |
Loading... |