| Wed, 01 Nov 2017 13:06:01 +0100 | wenzelm | no heap sharing for empty session (e.g. HOL-ODE); | changeset | files |
| Wed, 01 Nov 2017 12:31:53 +0100 | wenzelm | tuned diagram; | changeset | files |
| Wed, 01 Nov 2017 12:28:20 +0100 | wenzelm | clarified ROOT syntax: 'sessions' and 'theories' are optional, but need to be non-empty; | changeset | files |
| Tue, 31 Oct 2017 22:17:38 +0100 | wenzelm | removed unused option, which is potentially expensive; | changeset | files |