| Wed, 01 Nov 2017 16:31:27 +0100 | wenzelm | avoid duplicate invocation of expensive Sessions.deps on full_sessions; | changeset | files |
| Wed, 01 Nov 2017 15:32:07 +0100 | wenzelm | added isabelle jedit options -B, -P, clarified -R; | changeset | files |
| 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 |
| Tue, 31 Oct 2017 21:50:09 +0100 | wenzelm | allow to augment session context via explicit session infos; | changeset | files |