isabelle: Changelog

wenzelm [Fri, 01 Feb 2019 15:02:36 +0100] rev 69781

clarified default (amending ca9780325a21): it also affects "open-file" dialog, which should be "buffer";

wenzelm [Thu, 31 Jan 2019 22:53:35 +0100] rev 69780

NEWS;

wenzelm [Thu, 31 Jan 2019 22:02:50 +0100] rev 69779

more accurate _listFiles -- avoid infinite infinite expansion of e.g. "$ISABELLE_HOME";

wenzelm [Thu, 31 Jan 2019 21:59:30 +0100] rev 69778

merged

wenzelm [Thu, 31 Jan 2019 21:33:24 +0100] rev 69777

removed left-over test material (amending bb0a354f6b46);

wenzelm [Thu, 31 Jan 2019 21:21:44 +0100] rev 69776

updated to polyml-test-1236652ebd55;

wenzelm [Thu, 31 Jan 2019 17:18:15 +0100] rev 69775

added option jedit_text_overview for visual appearance (not performance, see also 72216713733a);

wenzelm [Thu, 31 Jan 2019 16:56:31 +0100] rev 69774

adapted to a8ee66876a1a;

wenzelm [Thu, 31 Jan 2019 16:53:15 +0100] rev 69773

show file-browser favorites more prominently: access to Isabelle resources;

wenzelm [Thu, 31 Jan 2019 16:45:24 +0100] rev 69772

tuned -- sort lines;

isabelle