src/Pure/PIDE/session.ML
Sat, 09 Apr 2016 20:18:15 +0200 wenzelm avoid interference with running PIDE protocol;
Sat, 09 Apr 2016 14:40:00 +0200 wenzelm prefer Synchronized.var;
Mon, 29 Feb 2016 16:12:47 +0100 wenzelm save heap more directly;
Mon, 29 Feb 2016 15:23:13 +0100 wenzelm clarified ML heap operations;
Sat, 10 Oct 2015 16:21:34 +0200 wenzelm more explicit HTML.symbols;
Wed, 15 Apr 2015 17:34:45 +0200 wenzelm tuned signature;
Mon, 26 Jan 2015 13:48:29 +0100 wenzelm prefer plain session_graph.pdf over GraphBrowser applet;
Sun, 25 Jan 2015 22:11:06 +0100 wenzelm discontinued obsolete option "document_graph";
Sun, 25 Jan 2015 21:46:21 +0100 wenzelm provide session_graph.pdf via Isabelle/Scala;
Thu, 15 Jan 2015 12:54:08 +0100 wenzelm more informative build_theories_result: cumulative Runtime.exn_message;
Sat, 10 Jan 2015 21:39:49 +0100 wenzelm tuned -- less redundant;
Sat, 10 Jan 2015 21:22:25 +0100 wenzelm proper Session.save with shutdown, which is relevant to avoid persistent threads;
Wed, 03 Dec 2014 22:34:28 +0100 wenzelm node-specific keywords, with session base syntax as default;
Fri, 07 Nov 2014 16:36:55 +0100 wenzelm plain value Keywords.keywords, which might be used outside theory for bootstrap purposes;
Thu, 24 Jul 2014 15:54:56 +0200 wenzelm further distinction of Isabelle distribution: alert for identified release candidates;
Fri, 11 Apr 2014 11:52:28 +0200 wenzelm explicit 'document_files' in session ROOT specifications;
Thu, 10 Apr 2014 18:13:44 +0200 wenzelm removed obsolete doc_dump option (see also 892061142ba6);
Mon, 31 Mar 2014 10:28:08 +0200 wenzelm support bulk messages consisting of small string segments, which are more healthy to the Poly/ML RTS and might prevent spurious GC crashes such as MTGCProcessMarkPointers::ScanAddressesInObject;
Tue, 18 Mar 2014 18:09:31 +0100 wenzelm clarified module arrangement;
less more (0) tip