| Mon, 14 Oct 2019 21:00:04 +0200 | wenzelm | clarified signature; | changeset | files |
| Mon, 14 Oct 2019 20:29:19 +0200 | wenzelm | clarified signature; | changeset | files |
| Mon, 14 Oct 2019 20:22:37 +0200 | wenzelm | clarified signature; | changeset | files |
| Mon, 14 Oct 2019 20:05:16 +0200 | wenzelm | clarified signature; | changeset | files |
| Mon, 14 Oct 2019 19:58:38 +0200 | wenzelm | clarified "isabelle update" options -- more like "isabelle dump"; | changeset | files |
| Mon, 14 Oct 2019 19:37:12 +0200 | wenzelm | clarified treatment of base logic image; | changeset | files |
| Mon, 14 Oct 2019 19:14:03 +0200 | wenzelm | simplified options: always split; | changeset | files |