src/Pure/System/session.scala
Sat, 17 Aug 2013 22:08:21 +0200 wenzelm public access for protocol handlers and protocol commands -- to be used within reason;
Fri, 09 Aug 2013 11:18:36 +0200 wenzelm cancel_query via direct access to the exec_id of the running query process;
Tue, 30 Jul 2013 21:22:37 +0200 wenzelm less aggressive flushing: cope with massive amounts of protocol messages, e.g. from threads_trace;
Mon, 29 Jul 2013 14:37:59 +0200 wenzelm show displaced messages (e.g. from protocol thread) as raw output;
Mon, 29 Jul 2013 13:00:36 +0200 wenzelm obsolete;
Sat, 13 Jul 2013 17:05:22 +0200 wenzelm update_options with full update, e.g. required for re-assignment of Command.prints;
Tue, 09 Jul 2013 13:17:22 +0200 wenzelm tuned protocol terminology;
Fri, 05 Jul 2013 16:01:45 +0200 wenzelm tuned signature;
Fri, 05 Jul 2013 15:38:03 +0200 wenzelm explicit module Document_ID as source of globally unique identifiers across ML/Scala;
Wed, 22 May 2013 16:13:52 +0200 wenzelm stop protocol handlers as well;
Wed, 22 May 2013 14:10:45 +0200 wenzelm explicit management of Session.Protocol_Handlers, with protocol state and functions;
Mon, 20 May 2013 16:17:56 +0200 wenzelm more explicit Session.update_options as source of Global_Options event;
Mon, 29 Apr 2013 15:47:42 +0200 wenzelm clarified module dependencies: avoid Properties and Document introding minimal "PIDE";
Tue, 09 Apr 2013 20:34:15 +0200 wenzelm public Isabelle_Process.xml_cache (thread-safe);
Tue, 09 Apr 2013 20:16:52 +0200 wenzelm just one timing protocol function, with 3 implementations: TTY/PG, PIDE/document, build;
Sun, 10 Feb 2013 22:03:21 +0100 wenzelm avoid crash (NPE) when properties are changed during prover startup (e.g. by font scaling);
Fri, 18 Jan 2013 17:51:50 +0100 wenzelm more systematic task statistics;
Sat, 05 Jan 2013 22:02:44 +0100 wenzelm ignore vacuous edits (e.g. stemming from Plugin.init_models) to avoid pointless protocol round-trip, which could lead to painting of outdated snapshot in the meantime (notably on Windows);
Thu, 03 Jan 2013 13:54:45 +0100 wenzelm improved Monitor_Dockable, based on ML_Statistics operations;
Sun, 16 Dec 2012 18:44:27 +0100 wenzelm tuned signature: use thy_load to adapt to prover/editor specific view on sources;
Thu, 13 Dec 2012 17:29:23 +0100 wenzelm more careful handling of Dialog_Result, with active area and color feedback;
Thu, 13 Dec 2012 13:52:18 +0100 wenzelm identify dialogs via official serial and maintain as result message;
Wed, 12 Dec 2012 23:36:07 +0100 wenzelm rendering of selected dialog_result as active_result_color, depending on dynamic command status in output panel, but not static popups etc.;
Wed, 12 Dec 2012 21:50:42 +0100 wenzelm support dialog via document content;
Sat, 08 Dec 2012 22:19:24 +0100 wenzelm basic monitor panel, using the powerful jfreechart library;
Wed, 05 Dec 2012 12:22:55 +0100 wenzelm tuned signature in accordance to document operations;
Tue, 04 Dec 2012 15:47:37 +0100 wenzelm emit bulk edits on initialization of multiple buffers, which greatly improves performance when starting big sessions (e.g. JinjaThreads);
Wed, 28 Nov 2012 17:18:53 +0100 wenzelm some support for ML runtime statistics;
Sun, 25 Nov 2012 19:49:24 +0100 wenzelm Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d;
Sun, 18 Nov 2012 15:28:58 +0100 wenzelm update options via protocol;
less more (0) -100 -50 -30 tip