src/Pure/PIDE/rendering.scala
Thu, 10 Dec 2020 17:01:59 +0100 wenzelm clarified types;
Thu, 10 Dec 2020 16:35:56 +0100 wenzelm clarified signature: more specific types;
Wed, 09 Dec 2020 20:10:10 +0100 wenzelm added "isabelle log": print messages from build database;
Wed, 09 Dec 2020 15:14:24 +0100 wenzelm clarified signature;
Mon, 07 Dec 2020 16:24:39 +0100 wenzelm clarified markup: support more completion, e.g. within ROOTS;
Thu, 26 Nov 2020 17:32:43 +0100 wenzelm clarified signature;
Thu, 26 Nov 2020 17:01:19 +0100 wenzelm tuned;
Mon, 23 Nov 2020 15:14:58 +0100 wenzelm support for PIDE markup in batch build (inactive due to pide_reports=false);
Fri, 27 Mar 2020 22:01:27 +0100 wenzelm misc tuning based on hints by IntelliJ IDEA;
Wed, 18 Mar 2020 16:46:07 +0100 wenzelm backed out changeset 7eadccd4392c: too confusing wrt. text overview panel;
Sun, 15 Mar 2020 11:55:16 +0100 wenzelm claried error elements: include internalized errors of tokens/commands;
Sun, 01 Mar 2020 21:52:21 +0100 wenzelm more Isabelle/jEdit actions;
Fri, 12 Apr 2019 19:48:29 +0200 wenzelm report document tags as seen in the text (not the active tag of Thy_Output.present_thy);
Sun, 24 Mar 2019 18:38:42 +0100 wenzelm clarified rendering, notably of \<^latex>CARTOUCHE in outer syntax;
Sun, 24 Mar 2019 17:24:24 +0100 wenzelm more markup for various text kinds, notably for nested formal comments;
Sun, 17 Mar 2019 20:03:55 +0100 wenzelm more meta data from "dcterms" (superset of "dc");
Mon, 11 Mar 2019 20:47:04 +0100 wenzelm support for document meta data in PIDE and RDF;
Mon, 11 Mar 2019 19:14:21 +0100 wenzelm tuned signature;
Mon, 14 Jan 2019 13:58:12 +0100 wenzelm clarified message;
Sun, 13 Jan 2019 19:42:06 +0100 wenzelm support hyperlink to theory exports;
Wed, 28 Nov 2018 16:14:31 +0100 wenzelm clarified signature;
Wed, 21 Nov 2018 14:33:30 +0100 wenzelm more comment markup;
Sat, 01 Sep 2018 20:20:50 +0200 wenzelm more explicit status for "canceled" command within theory node;
Mon, 27 Aug 2018 19:29:07 +0200 wenzelm simplified markup;
Sat, 18 Aug 2018 12:41:05 +0200 wenzelm clarified modules;
Fri, 23 Mar 2018 17:09:36 +0100 wenzelm more robust timing info: do not rely on order of markup;
Sun, 11 Mar 2018 20:31:25 +0100 wenzelm more compact markup tree: output messages are already stored in command results (e.g. relevant for XML data representation);
Tue, 09 Jan 2018 20:15:36 +0100 wenzelm more accurate spell-checking for nested quotations / antiquotations, notably in formal comments;
Wed, 03 Jan 2018 20:55:13 +0100 wenzelm HTML output for Markdown elements;
Tue, 02 Jan 2018 19:52:17 +0100 wenzelm PIDE markup for Markdown items (which may consist of multiple paragraphs or lists);
Tue, 02 Jan 2018 15:38:22 +0100 wenzelm clarified terminology of "markdown_bullet";
Mon, 04 Dec 2017 22:56:46 +0100 wenzelm added action to make antiquoted cartouche;
Mon, 06 Nov 2017 16:03:13 +0100 wenzelm tuned signature;
Fri, 27 Oct 2017 11:46:03 +0200 wenzelm tuned;
Wed, 21 Jun 2017 21:55:07 +0200 wenzelm clarified modules;
Mon, 19 Jun 2017 20:32:06 +0200 wenzelm tuned signature;
Mon, 19 Jun 2017 17:28:48 +0200 wenzelm clarified signature;
Mon, 12 Jun 2017 20:06:55 +0200 wenzelm tuned;
Fri, 09 Jun 2017 21:57:30 +0200 wenzelm tuned;
Fri, 09 Jun 2017 21:43:31 +0200 wenzelm more uniform syntax_completion + semantic_completion;
Fri, 09 Jun 2017 19:23:29 +0200 wenzelm clarified modules;
Tue, 23 May 2017 20:38:34 +0200 wenzelm support text overview colors via decorations;
Tue, 23 May 2017 13:47:31 +0200 wenzelm clarified modules;
Sat, 29 Apr 2017 20:30:13 +0200 wenzelm tuned;
Mon, 17 Apr 2017 12:20:45 +0200 wenzelm tuned signature;
Mon, 17 Apr 2017 12:11:02 +0200 wenzelm tuned signature;
Tue, 14 Mar 2017 10:49:07 +0100 wenzelm more robust debugger initialization, e.g. required for GUI components before actual session startup;
Mon, 13 Mar 2017 20:33:42 +0100 wenzelm proper local debugger state, depending on session;
Sat, 11 Mar 2017 22:19:22 +0100 wenzelm tuned;
Fri, 10 Mar 2017 21:47:48 +0100 wenzelm suppress irrelevant markup for VSCode;
Wed, 08 Mar 2017 10:29:40 +0100 wenzelm clarified rendering;
Wed, 08 Mar 2017 10:25:47 +0100 wenzelm tuned;
Tue, 07 Mar 2017 18:12:59 +0100 wenzelm tuned;
Tue, 07 Mar 2017 17:56:57 +0100 wenzelm more generic colors;
Tue, 07 Mar 2017 17:21:41 +0100 wenzelm tuned;
Tue, 07 Mar 2017 14:33:14 +0100 wenzelm clarified modules: spell-checker in Pure;
Mon, 06 Mar 2017 17:48:22 +0100 wenzelm more robust;
Mon, 06 Mar 2017 16:47:52 +0100 wenzelm more general tooltips, with uniform info range handling;
Mon, 06 Mar 2017 11:45:46 +0100 wenzelm tuned whitespace;
Mon, 06 Mar 2017 11:38:06 +0100 wenzelm more generic colors;
less more (0) -60 tip