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