| Wed, 22 Jun 2016 16:04:03 +0200 |
wenzelm |
report class parameters within instantiation;
|
file |
diff |
annotate
|
| Tue, 21 Jun 2016 17:21:57 +0200 |
wenzelm |
clarified rendering (amending ae9330fdbc16);
|
file |
diff |
annotate
|
| Tue, 21 Jun 2016 14:42:47 +0200 |
wenzelm |
position information for literal facts;
|
file |
diff |
annotate
|
| Mon, 06 Jun 2016 16:04:26 +0200 |
wenzelm |
added action "isabelle.select-entity";
|
file |
diff |
annotate
|
| Mon, 06 Jun 2016 15:52:25 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 06 Jun 2016 14:16:25 +0200 |
wenzelm |
clarified focus_defs vs. focus_refs, e.g. relevant for @{here} where this overlaps;
|
file |
diff |
annotate
|
| Fri, 15 Apr 2016 14:27:59 +0200 |
wenzelm |
clarified rendering wrt. hyperlinks;
|
file |
diff |
annotate
|
| Fri, 15 Apr 2016 13:01:45 +0200 |
wenzelm |
clarified focus visibility;
|
file |
diff |
annotate
|
| Fri, 15 Apr 2016 12:07:53 +0200 |
wenzelm |
tuned rendering;
|
file |
diff |
annotate
|
| Thu, 14 Apr 2016 22:55:53 +0200 |
wenzelm |
background color for entity def/ref focus;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2016 21:34:17 +0200 |
wenzelm |
more markup;
|
file |
diff |
annotate
|
| Wed, 30 Mar 2016 22:35:41 +0200 |
wenzelm |
more language markup;
|
file |
diff |
annotate
|
| Sat, 19 Dec 2015 23:16:47 +0100 |
wenzelm |
more explicit Pretty.Tree, like in ML;
|
file |
diff |
annotate
|
| Sat, 21 Nov 2015 20:12:36 +0100 |
wenzelm |
reverted 2abbe7d700e9: "state" output is not necessarily proof state;
|
file |
diff |
annotate
|
| Sat, 21 Nov 2015 16:33:48 +0100 |
wenzelm |
avoid flashing of main text area (visual "grey-out") due to spurious edits, e.g. State panel auto-update;
|
file |
diff |
annotate
|
| Sat, 21 Nov 2015 15:45:09 +0100 |
wenzelm |
less intrusive rendering, notably for State dockable;
|
file |
diff |
annotate
|
| Sat, 21 Nov 2015 14:17:54 +0100 |
wenzelm |
clarified rendering of Markup.DOC: like Markup.PATH / Markup.URL;
|
file |
diff |
annotate
|
| Fri, 13 Nov 2015 19:59:28 +0100 |
wenzelm |
added antiquotation @{doc}, e.g. useful for demonstration purposes;
|
file |
diff |
annotate
|
| Mon, 09 Nov 2015 13:49:29 +0100 |
wenzelm |
suppress already persistent state output as well;
|
file |
diff |
annotate
|
| Sat, 07 Nov 2015 20:04:09 +0100 |
wenzelm |
syntactic completion may supersede semantic completion, e.g. relevant for "\undefined" vs. "undefined" in ML;
|
file |
diff |
annotate
|
| Sat, 07 Nov 2015 13:13:23 +0100 |
wenzelm |
less confusing markup;
|
file |
diff |
annotate
|
| Sat, 07 Nov 2015 00:28:42 +0100 |
wenzelm |
ML cartouches via control antiquotation;
|
file |
diff |
annotate
|
| Thu, 05 Nov 2015 00:02:30 +0100 |
wenzelm |
symbolic syntax "\<comment> text";
|
file |
diff |
annotate
|
| Thu, 15 Oct 2015 16:12:38 +0200 |
wenzelm |
more markup;
|
file |
diff |
annotate
|
| Thu, 15 Oct 2015 15:06:03 +0200 |
wenzelm |
report Markdown document structure;
|
file |
diff |
annotate
|
| Sat, 19 Sep 2015 20:47:11 +0200 |
wenzelm |
eliminated pointless jedit_text_overview_limit;
|
file |
diff |
annotate
|
| Mon, 14 Sep 2015 18:03:43 +0200 |
wenzelm |
avoid hardwired colors;
|
file |
diff |
annotate
|
| Mon, 24 Aug 2015 00:20:20 +0200 |
wenzelm |
more explicit debugger caret rendering;
|
file |
diff |
annotate
|
| Wed, 12 Aug 2015 02:21:00 +0200 |
wenzelm |
clarified breakpoint rendering;
|
file |
diff |
annotate
|
| Tue, 11 Aug 2015 17:00:16 +0200 |
wenzelm |
support hyperlinks with optional focus change;
|
file |
diff |
annotate
|
| Mon, 10 Aug 2015 20:42:59 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 10 Aug 2015 20:22:49 +0200 |
wenzelm |
set breakpoint state on ML side, relying on stable situation within the PIDE editing queue;
|
file |
diff |
annotate
|
| Mon, 10 Aug 2015 17:49:36 +0200 |
wenzelm |
added action to toggle breakpoints (on editor side);
|
file |
diff |
annotate
|
| Mon, 10 Aug 2015 16:05:41 +0200 |
wenzelm |
rendering for debugger/breakpoint active state;
|
file |
diff |
annotate
|
| Mon, 10 Aug 2015 14:13:49 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 03 May 2015 00:01:10 +0200 |
wenzelm |
misc tuning, based on warnings by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Thu, 08 Jan 2015 20:56:39 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 30 Dec 2014 23:45:03 +0100 |
wenzelm |
explicit message channel for "legacy", which is nonetheless a variant of "warning";
|
file |
diff |
annotate
|
| Tue, 23 Dec 2014 20:46:42 +0100 |
wenzelm |
explicit message channels for "state", "information";
|
file |
diff |
annotate
|
| Wed, 10 Dec 2014 20:51:27 +0100 |
wenzelm |
more informative gutter content: fall-back on background color, e.g. when line numbers are enabled;
|
file |
diff |
annotate
|
| Wed, 10 Dec 2014 13:45:44 +0100 |
wenzelm |
more explicit markup for improper commands;
|
file |
diff |
annotate
|
| Tue, 09 Dec 2014 19:01:07 +0100 |
wenzelm |
clarified language context, e.g. relevant for symbol completion within cartouches;
|
file |
diff |
annotate
|
| Mon, 08 Dec 2014 22:42:12 +0100 |
wenzelm |
expand ML cartouches to Input.source;
|
file |
diff |
annotate
|
| Wed, 03 Dec 2014 11:37:51 +0100 |
wenzelm |
clarified token kind;
|
file |
diff |
annotate
|
| Wed, 05 Nov 2014 17:37:25 +0100 |
wenzelm |
clarified representation of type Keywords;
|
file |
diff |
annotate
|
| Wed, 05 Nov 2014 16:57:12 +0100 |
wenzelm |
explicit type Keyword.Keywords;
|
file |
diff |
annotate
|
| Mon, 06 Oct 2014 16:54:35 +0200 |
wenzelm |
completion for bibtex entries;
|
file |
diff |
annotate
|
| Sun, 05 Oct 2014 17:58:36 +0200 |
wenzelm |
citation tooltip/hyperlink based on open buffers with .bib files;
|
file |
diff |
annotate
|
| Fri, 26 Sep 2014 15:05:11 +0200 |
wenzelm |
support for sub-expression markup;
|
file |
diff |
annotate
|
| Wed, 27 Aug 2014 14:54:32 +0200 |
wenzelm |
more explicit Method.modifier with reported position;
|
file |
diff |
annotate
|
| Wed, 13 Aug 2014 22:29:43 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 12 Aug 2014 16:20:09 +0200 |
wenzelm |
allow hyperlinks without offset, just in case the prover emits such reports, despite Position.is_reported;
|
file |
diff |
annotate
|
| Sat, 26 Jul 2014 14:52:54 +0200 |
wenzelm |
output state first -- avoid fluctuation wrt. warnings, errors, etc.;
|
file |
diff |
annotate
|
| Mon, 21 Jul 2014 17:39:20 +0200 |
wenzelm |
removed unused markup (cf. 2f7d91242b99);
|
file |
diff |
annotate
|
| Mon, 21 Jul 2014 17:37:22 +0200 |
wenzelm |
regular message to refer to Simplifier Trace panel (unused);
|
file |
diff |
annotate
|
| Fri, 16 May 2014 17:11:56 +0200 |
wenzelm |
proper priority for error over warning, which got mixed up in 0546e036d1c0 and 4df2727a0b5f;
|
file |
diff |
annotate
|
| Tue, 06 May 2014 21:29:17 +0200 |
wenzelm |
common support for search field, which is actually a light-weight Highlighter;
|
file |
diff |
annotate
|
| Sat, 03 May 2014 22:47:43 +0200 |
wenzelm |
support for path completion based on file-system content;
|
file |
diff |
annotate
|
| Sat, 26 Apr 2014 13:07:20 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 16 Apr 2014 11:52:26 +0200 |
wenzelm |
more specific support for sequence of words;
|
file |
diff |
annotate
|