| Sun, 06 Jan 2019 13:44:33 +0100 | wenzelm | isabelle update -u control_cartouches; | changeset | files |
| Sun, 06 Jan 2019 12:42:26 +0100 | wenzelm | support for isabelle update -u path_cartouches; | changeset | files |
| Sun, 06 Jan 2019 12:33:45 +0100 | wenzelm | clarified documentation; | changeset | files |
| Sun, 06 Jan 2019 12:01:09 +0100 | wenzelm | redundant (see isabelle.Dump.make_options); | changeset | files |
| Sun, 06 Jan 2019 12:32:01 +0100 | nipkow | typed definitions | changeset | files |
| 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 |