isabelle: Changelog

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;

wenzelm [Tue, 31 Oct 2017 18:56:24 +0100] rev 66965

clarified signature;

wenzelm [Tue, 31 Oct 2017 18:45:33 +0100] rev 66964

clarified signature;

wenzelm [Tue, 31 Oct 2017 17:56:28 +0100] rev 66963

clarified signature;

wenzelm [Tue, 31 Oct 2017 17:15:49 +0100] rev 66962

clarified signature: global_theories is always required;

isabelle