src/Pure/PIDE/markup.scala
Thu, 18 Jul 2013 20:53:22 +0200 wenzelm explicit padding on command boundary for "auto" generated sendback -- do not replace the corresponding goal command, but append to it;
Sat, 13 Jul 2013 13:25:42 +0200 wenzelm more explicit Markup.information for messages produced by "auto" tools;
Tue, 09 Jul 2013 13:17:22 +0200 wenzelm tuned protocol terminology;
Wed, 22 May 2013 14:10:45 +0200 wenzelm explicit management of Session.Protocol_Handlers, with protocol state and functions;
Mon, 29 Apr 2013 15:47:42 +0200 wenzelm clarified module dependencies: avoid Properties and Document introding minimal "PIDE";
Tue, 09 Apr 2013 20:16:52 +0200 wenzelm just one timing protocol function, with 3 implementations: TTY/PG, PIDE/document, build;
Thu, 28 Mar 2013 22:42:18 +0100 wenzelm ghost bullet via markup, which is painted as bar under text (normally space);
Thu, 28 Mar 2013 15:36:45 +0100 wenzelm basic support for Pretty.item, which is considered as logical markup and interpreted in Isabelle/Scala, but ignored elsewhere (TTY, latex etc.);
Fri, 18 Jan 2013 17:51:50 +0100 wenzelm more systematic task statistics;
Wed, 09 Jan 2013 13:38:57 +0100 wenzelm standardized treatment of timing properties;
Fri, 04 Jan 2013 12:33:25 +0100 wenzelm prefer old graph browser in Isabelle/jEdit, which still produces better layout;
Sat, 15 Dec 2012 12:55:11 +0100 wenzelm explicit text_fold markup, which is used by default in Pretty.chunks/chunks2;
Sat, 15 Dec 2012 12:28:37 +0100 wenzelm fold main goal;
Thu, 13 Dec 2012 18:00:24 +0100 wenzelm enable Isabelle/ML to produce uninterpreted result messages as well;
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;
Mon, 10 Dec 2012 13:52:33 +0100 wenzelm generalized notion of active area, where sendback is just one application;
Wed, 28 Nov 2012 17:18:53 +0100 wenzelm some support for ML runtime statistics;
Mon, 26 Nov 2012 16:16:47 +0100 wenzelm more general sendback properties;
Sun, 25 Nov 2012 19:49:24 +0100 wenzelm Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d;
Thu, 27 Sep 2012 15:55:38 +0200 wenzelm removed obsolete org.w3c.dom operations;
Tue, 29 Nov 2011 21:50:00 +0100 wenzelm clarified Time vs. Timing;
Tue, 29 Nov 2011 21:29:53 +0100 wenzelm separate compilation of PIDE vs. Pure sources, which enables independent Scala library;
Tue, 29 Nov 2011 19:49:36 +0100 wenzelm rearranged files;
less more (0) tip