| Sat, 05 Jan 2019 20:12:02 +0100 | wenzelm | documentation on "isabelle update"; | changeset | files |
| Sat, 05 Jan 2019 17:33:20 +0100 | wenzelm | eliminated spurious \<^print>; | changeset | files |
| Sat, 05 Jan 2019 17:24:33 +0100 | wenzelm | isabelle update -u control_cartouches; | changeset | files |