| Sun, 17 Mar 2019 20:03:55 +0100 |
wenzelm |
more meta data from "dcterms" (superset of "dc");
|
file |
diff |
annotate
|
| Mon, 11 Mar 2019 20:47:04 +0100 |
wenzelm |
support for document meta data in PIDE and RDF;
|
file |
diff |
annotate
|
| Mon, 11 Mar 2019 19:14:21 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 14 Jan 2019 13:58:12 +0100 |
wenzelm |
clarified message;
|
file |
diff |
annotate
|
| Sun, 13 Jan 2019 19:42:06 +0100 |
wenzelm |
support hyperlink to theory exports;
|
file |
diff |
annotate
|
| Wed, 28 Nov 2018 16:14:31 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 21 Nov 2018 14:33:30 +0100 |
wenzelm |
more comment markup;
|
file |
diff |
annotate
|
| Sat, 01 Sep 2018 20:20:50 +0200 |
wenzelm |
more explicit status for "canceled" command within theory node;
|
file |
diff |
annotate
|
| Mon, 27 Aug 2018 19:29:07 +0200 |
wenzelm |
simplified markup;
|
file |
diff |
annotate
|
| Sat, 18 Aug 2018 12:41:05 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 23 Mar 2018 17:09:36 +0100 |
wenzelm |
more robust timing info: do not rely on order of markup;
|
file |
diff |
annotate
|
| 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);
|
file |
diff |
annotate
|
| Tue, 09 Jan 2018 20:15:36 +0100 |
wenzelm |
more accurate spell-checking for nested quotations / antiquotations, notably in formal comments;
|
file |
diff |
annotate
|
| Wed, 03 Jan 2018 20:55:13 +0100 |
wenzelm |
HTML output for Markdown elements;
|
file |
diff |
annotate
|
| Tue, 02 Jan 2018 19:52:17 +0100 |
wenzelm |
PIDE markup for Markdown items (which may consist of multiple paragraphs or lists);
|
file |
diff |
annotate
|
| Tue, 02 Jan 2018 15:38:22 +0100 |
wenzelm |
clarified terminology of "markdown_bullet";
|
file |
diff |
annotate
|
| Mon, 04 Dec 2017 22:56:46 +0100 |
wenzelm |
added action to make antiquoted cartouche;
|
file |
diff |
annotate
|
| Mon, 06 Nov 2017 16:03:13 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 27 Oct 2017 11:46:03 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 21 Jun 2017 21:55:07 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Mon, 19 Jun 2017 20:32:06 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 19 Jun 2017 17:28:48 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 12 Jun 2017 20:06:55 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 09 Jun 2017 21:57:30 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 09 Jun 2017 21:43:31 +0200 |
wenzelm |
more uniform syntax_completion + semantic_completion;
|
file |
diff |
annotate
|
| Fri, 09 Jun 2017 19:23:29 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 23 May 2017 20:38:34 +0200 |
wenzelm |
support text overview colors via decorations;
|
file |
diff |
annotate
|
| Tue, 23 May 2017 13:47:31 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sat, 29 Apr 2017 20:30:13 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 17 Apr 2017 12:20:45 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 17 Apr 2017 12:11:02 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2017 10:49:07 +0100 |
wenzelm |
more robust debugger initialization, e.g. required for GUI components before actual session startup;
|
file |
diff |
annotate
|
| Mon, 13 Mar 2017 20:33:42 +0100 |
wenzelm |
proper local debugger state, depending on session;
|
file |
diff |
annotate
|
| Sat, 11 Mar 2017 22:19:22 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 10 Mar 2017 21:47:48 +0100 |
wenzelm |
suppress irrelevant markup for VSCode;
|
file |
diff |
annotate
|
| Wed, 08 Mar 2017 10:29:40 +0100 |
wenzelm |
clarified rendering;
|
file |
diff |
annotate
|
| Wed, 08 Mar 2017 10:25:47 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 07 Mar 2017 18:12:59 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 07 Mar 2017 17:56:57 +0100 |
wenzelm |
more generic colors;
|
file |
diff |
annotate
|
| Tue, 07 Mar 2017 17:21:41 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 07 Mar 2017 14:33:14 +0100 |
wenzelm |
clarified modules: spell-checker in Pure;
|
file |
diff |
annotate
|
| Mon, 06 Mar 2017 17:48:22 +0100 |
wenzelm |
more robust;
|
file |
diff |
annotate
|
| Mon, 06 Mar 2017 16:47:52 +0100 |
wenzelm |
more general tooltips, with uniform info range handling;
|
file |
diff |
annotate
|
| Mon, 06 Mar 2017 11:45:46 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Mon, 06 Mar 2017 11:38:06 +0100 |
wenzelm |
more generic colors;
|
file |
diff |
annotate
|
| Sun, 05 Mar 2017 22:06:13 +0100 |
wenzelm |
more generic rendering;
|
file |
diff |
annotate
|
| Sat, 04 Mar 2017 21:47:26 +0100 |
wenzelm |
clarified pretty margin;
|
file |
diff |
annotate
|
| Sat, 04 Mar 2017 13:36:06 +0100 |
wenzelm |
decorations for background and foreground colors;
|
file |
diff |
annotate
|
| Sat, 04 Mar 2017 09:27:51 +0100 |
wenzelm |
symbolic Rendering.Color;
|
file |
diff |
annotate
|
| Wed, 11 Jan 2017 20:01:55 +0100 |
wenzelm |
support for semantic completion;
|
file |
diff |
annotate
|
| Tue, 03 Jan 2017 21:02:46 +0100 |
wenzelm |
support VSCode DocumentHighlights;
|
file |
diff |
annotate
|
| Mon, 02 Jan 2017 11:42:15 +0100 |
wenzelm |
clarified multiple tooltips;
|
file |
diff |
annotate
|
| Tue, 27 Dec 2016 17:33:57 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 23 Dec 2016 11:21:38 +0100 |
wenzelm |
omit unused markup;
|
file |
diff |
annotate
|
| Wed, 21 Dec 2016 23:54:21 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 21 Dec 2016 21:18:37 +0100 |
wenzelm |
basic support for hyperlinks / Goto Definition Request;
|
file |
diff |
annotate
|
| Tue, 20 Dec 2016 22:24:16 +0100 |
wenzelm |
more uniform rendering for Isabelle/jEdit and Isabelle/VSCode;
|
file |
diff |
annotate
|