| Mon, 07 Oct 2019 13:58:18 +0200 | wenzelm | clarified Load_State; | changeset | files |
| Mon, 07 Oct 2019 11:35:43 +0200 | wenzelm | discontinued pointless dump_checkpoint and share_common_data -- superseded by base logic image in Isabelle/MMT; | changeset | files |
| Mon, 07 Oct 2019 10:51:20 +0200 | wenzelm | count nodes uniformly: avoid overloaded session; | changeset | files |