| Mon, 30 Sep 2019 16:40:35 +0200 | wenzelm | support headless_load_limit for more scalable load process; | changeset | files |
| Mon, 30 Sep 2019 13:23:49 +0200 | wenzelm | added dump_options: disabled by default; | changeset | files |
| Mon, 30 Sep 2019 13:11:22 +0200 | wenzelm | tuned message; | changeset | files |
| Mon, 30 Sep 2019 12:52:16 +0200 | wenzelm | clarified incremental loading: requirements based on maximal nodes; | changeset | files |
| Mon, 30 Sep 2019 11:36:21 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 30 Sep 2019 11:22:51 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 29 Sep 2019 16:44:29 +0200 | wenzelm | tuned message; | changeset | files |