| 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 |