isabelle: Changelog

wenzelm [Wed, 01 Nov 2017 20:46:23 +0100] rev 66983

proper merge (amending fb46c031c841);

wenzelm [Wed, 01 Nov 2017 18:37:49 +0100] rev 66982

build faster without heap images for minor imports;

wenzelm [Wed, 01 Nov 2017 18:24:39 +0100] rev 66981

proper order for entries from multiple profiles, notably "AFP";

wenzelm [Wed, 01 Nov 2017 17:29:14 +0100] rev 66980

tuned output;

wenzelm [Wed, 01 Nov 2017 17:07:43 +0100] rev 66979

tuned;

wenzelm [Wed, 01 Nov 2017 17:03:32 +0100] rev 66978

logic_selector refers to raw logic name;

wenzelm [Wed, 01 Nov 2017 16:58:38 +0100] rev 66977

clarified terminology;

wenzelm [Wed, 01 Nov 2017 16:43:51 +0100] rev 66976

tuned signature;

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;

isabelle