| 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
|
| Wed, 26 Mar 2014 21:01:09 +0100 |
wenzelm |
tuned signature -- expose less intermediate information;
|
file |
diff |
annotate
|
| Tue, 25 Mar 2014 16:11:00 +0100 |
wenzelm |
separate tokenization and language context for SML: no symbols, no antiquotes;
|
file |
diff |
annotate
|
| Tue, 18 Mar 2014 17:39:03 +0100 |
wenzelm |
clarifed module name;
|
file |
diff |
annotate
|
| Tue, 18 Mar 2014 12:25:17 +0100 |
wenzelm |
more markup for improper elements;
|
file |
diff |
annotate
|
| Mon, 17 Mar 2014 14:37:23 +0100 |
wenzelm |
tuned rendering -- avoid flashing background of aux. files that are disconnected from the document model;
|
file |
diff |
annotate
|
| Mon, 17 Mar 2014 12:24:00 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 14 Mar 2014 15:41:29 +0100 |
wenzelm |
discontinued somewhat pointless "thy_script" keyword kind;
|
file |
diff |
annotate
|
| Thu, 13 Mar 2014 10:34:48 +0100 |
wenzelm |
clarified Path.smart_implode;
|
file |
diff |
annotate
|
| Wed, 12 Mar 2014 16:43:17 +0100 |
wenzelm |
clarified Markup.operator vs. Markup.delimiter;
|
file |
diff |
annotate
|
| Wed, 12 Mar 2014 16:11:47 +0100 |
wenzelm |
more explicit markup for Token.Literal;
|
file |
diff |
annotate
|
| Fri, 07 Mar 2014 14:37:25 +0100 |
wenzelm |
more detailed description of completion items;
|
file |
diff |
annotate
|
| Wed, 05 Mar 2014 16:13:24 +0100 |
wenzelm |
more explicit quasi_keyword markup, for Args.$$$ material, which is somewhere in between of outer and inner syntax;
|
file |
diff |
annotate
|
| Wed, 05 Mar 2014 13:11:08 +0100 |
wenzelm |
clarified init_assignable: make double-sure that initial values are reset;
|
file |
diff |
annotate
|
| Mon, 03 Mar 2014 12:24:14 +0100 |
wenzelm |
recovered position hyperlinks from 65c9968286d5 (NB: "def" position vs. regular one);
|
file |
diff |
annotate
|
| Mon, 03 Mar 2014 11:58:07 +0100 |
wenzelm |
clarified path checks: avoid crash of rendering due to spurious errors;
|
file |
diff |
annotate
|
| Mon, 03 Mar 2014 11:37:06 +0100 |
wenzelm |
more precise navigation within open files;
|
file |
diff |
annotate
|
| Mon, 03 Mar 2014 10:59:33 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 03 Mar 2014 10:41:58 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 02 Mar 2014 19:00:45 +0100 |
wenzelm |
clarified names of antiquotations and markup;
|
file |
diff |
annotate
|
| Sat, 01 Mar 2014 22:46:31 +0100 |
wenzelm |
clarified language markup: added "delimited" property;
|
file |
diff |
annotate
|
| Sat, 01 Mar 2014 19:39:27 +0100 |
wenzelm |
tuned signature -- separate module Font_Info;
|
file |
diff |
annotate
|
| Sat, 01 Mar 2014 18:33:49 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 01 Mar 2014 16:34:30 +0100 |
wenzelm |
font size change with delay, to avoid GUI lagging behind user input;
|
file |
diff |
annotate
|
| Sat, 01 Mar 2014 12:07:26 +0100 |
wenzelm |
tuned signature -- more explicit Document.Elements;
|
file |
diff |
annotate
|
| Thu, 27 Feb 2014 17:56:59 +0100 |
wenzelm |
simplified rendering -- no need to over-emphasize "token_range";
|
file |
diff |
annotate
|
| Wed, 26 Feb 2014 11:58:35 +0100 |
wenzelm |
markup for method combinators;
|
file |
diff |
annotate
|
| Tue, 25 Feb 2014 20:57:57 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 25 Feb 2014 20:15:47 +0100 |
wenzelm |
more completion rendering: active, semantic, syntactic;
|
file |
diff |
annotate
|
| Tue, 25 Feb 2014 18:07:35 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 24 Feb 2014 12:51:55 +0100 |
wenzelm |
clarified painting of invisible caret, e.g. focus change due to popup;
|
file |
diff |
annotate
|
| Mon, 24 Feb 2014 11:05:02 +0100 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
| Sun, 23 Feb 2014 16:08:38 +0100 |
wenzelm |
clarified stretch_point_range wrt. UTF-16 surrogates;
|
file |
diff |
annotate
|
| Sun, 23 Feb 2014 15:38:21 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 23 Feb 2014 15:35:19 +0100 |
wenzelm |
some rendering of completion range;
|
file |
diff |
annotate
|
| Sun, 23 Feb 2014 14:39:51 +0100 |
wenzelm |
clarified completion names;
|
file |
diff |
annotate
|