Mercurial Mercurial > repos > isabelle / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/PIDE/rendering.scala
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); file | diff | annotate
Sun, 24 Mar 2019 18:38:42 +0100 wenzelm clarified rendering, notably of \<^latex>CARTOUCHE in outer syntax; file | diff | annotate
Sun, 24 Mar 2019 17:24:24 +0100 wenzelm more markup for various text kinds, notably for nested formal comments; file | diff | annotate
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
less more (0) tip
isabelle