isabelle: Changelog

wenzelm [Thu, 02 Nov 2017 11:25:37 +0100] rev 66988

support alternative ancestor session;

wenzelm [Thu, 02 Nov 2017 10:16:22 +0100] rev 66987

support focus_session, for much faster startup of Isabelle/jEdit; more options for "isabelle jedit";

wenzelm [Wed, 01 Nov 2017 22:13:38 +0100] rev 66986

more timing;

wenzelm [Wed, 01 Nov 2017 21:21:09 +0100] rev 66985

tuned;

wenzelm [Wed, 01 Nov 2017 21:02:16 +0100] rev 66984

init only once (see also c0f776b661fa);

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;

isabelle