| Tue, 04 Sep 2018 14:40:31 +0200 | wenzelm | clarified Nodes_Status; | changeset | files |
| Tue, 04 Sep 2018 08:40:53 +0200 | nipkow | tuned | changeset | files |
| Mon, 03 Sep 2018 22:38:23 +0200 | nipkow | tuned | changeset | files |
| Mon, 03 Sep 2018 20:46:09 +0200 | wenzelm | more robust: parents are strict in Export_Theory.read_theory and thus approximate "commit" of exports; | changeset | files |
| Mon, 03 Sep 2018 20:04:51 +0200 | wenzelm | more detailed progress; | changeset | files |
| Mon, 03 Sep 2018 19:44:10 +0200 | wenzelm | more informative node_status; | changeset | files |
| Mon, 03 Sep 2018 18:52:28 +0200 | wenzelm | tuned signature; | changeset | files |