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
|
Wed, 16 Apr 2014 09:38:40 +0200 |
wenzelm |
tuned signature -- separate module Word;
|
file |
diff |
annotate
|
Sun, 13 Apr 2014 21:43:25 +0200 |
wenzelm |
added spell-checker completion dialog, without counting frequency of items due to empty name;
|
file |
diff |
annotate
|
Sat, 12 Apr 2014 21:00:04 +0200 |
wenzelm |
more general spell_checker_elements;
|
file |
diff |
annotate
|
Sat, 12 Apr 2014 20:49:57 +0200 |
wenzelm |
added spell-checker options;
|
file |
diff |
annotate
|
Sat, 12 Apr 2014 17:46:54 +0200 |
wenzelm |
markup for prose words within formal comments;
|
file |
diff |
annotate
|
Wed, 09 Apr 2014 15:03:07 +0200 |
wenzelm |
more explicit message discrimination;
|
file |
diff |
annotate
|
Mon, 07 Apr 2014 23:02:29 +0200 |
wenzelm |
simplified blob again (amending 1e77ed11f2f7): only store file node name, i.e. the raw editor file name;
|
file |
diff |
annotate
|
Thu, 03 Apr 2014 21:55:48 +0200 |
wenzelm |
more direct warning within persistent Protocol.Status;
|
file |
diff |
annotate
|
Wed, 02 Apr 2014 20:22:12 +0200 |
wenzelm |
more explicit iterator terminology, in accordance to Scala 2.8 library;
|
file |
diff |
annotate
|
Wed, 02 Apr 2014 12:26:11 +0200 |
wenzelm |
persistent protocol_status, to improve performance of node_status a little;
|
file |
diff |
annotate
|
Tue, 01 Apr 2014 20:22:25 +0200 |
wenzelm |
more direct command states -- merge_results is hardly ever needed;
|
file |
diff |
annotate
|
Tue, 01 Apr 2014 17:26:32 +0200 |
wenzelm |
more frugal command_status, which is often used in a tight loop;
|
file |
diff |
annotate
|
Thu, 27 Mar 2014 10:43:43 +0100 |
wenzelm |
more careful treatment of multiple command states (eval + prints): merge content that is actually required;
|
file |
diff |
annotate
|