| 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
|
| Mon, 14 Oct 2019 18:51:12 +0200 |
wenzelm |
proper guard -- avoid bad result;
|
changeset |
files
|
| Mon, 14 Oct 2019 17:19:08 +0200 |
wenzelm |
split into standard partitions, for improved scalability;
|
changeset |
files
|
| Mon, 14 Oct 2019 13:21:53 +0200 |
wenzelm |
clarified defaults;
|
changeset |
files
|
| Mon, 14 Oct 2019 13:17:33 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 14 Oct 2019 12:07:37 +0200 |
wenzelm |
clarified signature: static Dump.Context vs. dynamic Dump.Session;
|
changeset |
files
|