| 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
|
| Mon, 07 Oct 2019 10:44:59 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Mon, 07 Oct 2019 14:31:46 +0200 |
nipkow |
simplified proof
|
changeset |
files
|
| Sun, 06 Oct 2019 19:33:58 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sun, 06 Oct 2019 16:25:20 +0200 |
wenzelm |
clarified signature: more options;
|
changeset |
files
|
| Sun, 06 Oct 2019 16:22:43 +0200 |
wenzelm |
clarified signature: read full session requirements;
|
changeset |
files
|
| Sun, 06 Oct 2019 15:28:59 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sun, 06 Oct 2019 14:17:58 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sat, 05 Oct 2019 15:34:54 +0200 |
wenzelm |
clarified options -- more scalable;
|
changeset |
files
|
| Fri, 04 Oct 2019 16:34:14 +0200 |
wenzelm |
obsolete;
|
changeset |
files
|