wenzelm [Wed, 01 Nov 2017 16:38:15 +0100] rev 66975
do not store bulky Session.Deps;
wenzelm [Wed, 01 Nov 2017 16:31:27 +0100] rev 66974
avoid duplicate invocation of expensive Sessions.deps on full_sessions;
tuned;
wenzelm [Wed, 01 Nov 2017 15:32:07 +0100] rev 66973
added isabelle jedit options -B, -P, clarified -R;
misc tuning and clarification;
wenzelm [Wed, 01 Nov 2017 13:06:01 +0100] rev 66972
no heap sharing for empty session (e.g. HOL-ODE);
wenzelm [Wed, 01 Nov 2017 12:31:53 +0100] rev 66971
tuned diagram;
wenzelm [Wed, 01 Nov 2017 12:28:20 +0100] rev 66970
clarified ROOT syntax: 'sessions' and 'theories' are optional, but need to be non-empty;
wenzelm [Tue, 31 Oct 2017 22:17:38 +0100] rev 66969
removed unused option, which is potentially expensive;
wenzelm [Tue, 31 Oct 2017 21:50:09 +0100] rev 66968
allow to augment session context via explicit session infos;
more compact required_session interface;
wenzelm [Tue, 31 Oct 2017 20:57:44 +0100] rev 66967
synthesize session with all required theories from other session imports;
wenzelm [Tue, 31 Oct 2017 19:29:24 +0100] rev 66966
clarified signature;