| Fri, 24 Feb 2023 20:40:50 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 13 Jan 2023 19:16:24 +0100 |
wenzelm |
clarified types;
|
file |
diff |
annotate
|
| Fri, 13 Jan 2023 17:14:59 +0100 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
| Fri, 09 Sep 2022 16:44:43 +0200 |
wenzelm |
tuned: prefer Scala Regex operations;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 23:19:12 +0200 |
wenzelm |
tuned formatting;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Thu, 03 Mar 2022 16:05:02 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 03 Mar 2022 15:39:51 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 03 Mar 2022 13:08:25 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 03 Mar 2022 12:40:37 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 15:41:46 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Sun, 29 Nov 2020 17:54:50 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 05 Oct 2020 21:15:58 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sun, 14 Jan 2018 21:25:43 +0100 |
wenzelm |
eliminated clones;
|
file |
diff |
annotate
|
| Sun, 14 Jan 2018 19:44:49 +0100 |
wenzelm |
more operations;
|
file |
diff |
annotate
|
| Mon, 01 Jan 2018 21:17:28 +0100 |
wenzelm |
more completion templates;
|
file |
diff |
annotate
|
| Sat, 04 Nov 2017 17:11:21 +0100 |
wenzelm |
clarified lazy Completion within Outer_Syntax: measurable speedup of Sessions.deps;
|
file |
diff |
annotate
|
| Wed, 01 Nov 2017 21:21:09 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 01 Nov 2017 21:02:16 +0100 |
wenzelm |
init only once (see also c0f776b661fa);
|
file |
diff |
annotate
|
| Thu, 05 Oct 2017 17:37:47 +0200 |
wenzelm |
completion supports theory header imports;
|
file |
diff |
annotate
|
| Thu, 05 Oct 2017 14:58:04 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 21 Jun 2017 21:10:51 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 21 Jun 2017 14:30:20 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 09 Jun 2017 22:28:48 +0200 |
wenzelm |
clarified output for symbol completion;
|
file |
diff |
annotate
|
| Fri, 09 Jun 2017 21:57:30 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 01 Apr 2017 19:17:15 +0200 |
wenzelm |
clarified YXML vs. symbol encoding: operate on whole message;
|
file |
diff |
annotate
|
| Fri, 16 Sep 2016 15:21:21 +0200 |
wenzelm |
more uniform completion of short word: exclude single character prefix but include two chracter prefix (see also 31633e503c17);
|
file |
diff |
annotate
|
| Wed, 14 Sep 2016 19:44:08 +0200 |
wenzelm |
clarified GUI representation of replacement texts with zero or more abbrevs;
|
file |
diff |
annotate
|
| Wed, 14 Sep 2016 14:37:38 +0200 |
wenzelm |
discontinued global etc/abbrevs;
|
file |
diff |
annotate
|
| Wed, 14 Sep 2016 14:16:13 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 06 Sep 2016 13:26:14 +0200 |
wenzelm |
strictly sequential abbrevs;
|
file |
diff |
annotate
|
| Thu, 01 Sep 2016 20:34:43 +0200 |
wenzelm |
more careful quoting, e.g. relevant for \<^control>cartouche;
|
file |
diff |
annotate
|
| Tue, 02 Aug 2016 21:04:52 +0200 |
wenzelm |
implicit keyword completion only for actual words (amending 73939a9b70a3);
|
file |
diff |
annotate
|
| Tue, 02 Aug 2016 17:35:18 +0200 |
wenzelm |
support 'abbrevs' within theory header;
|
file |
diff |
annotate
|
| Tue, 02 Aug 2016 11:49:30 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 24 May 2016 15:16:57 +0200 |
wenzelm |
cartouche abbreviations work both for " as well;
|
file |
diff |
annotate
|
| Wed, 13 Apr 2016 18:01:05 +0200 |
wenzelm |
eliminated "xname" and variants;
|
file |
diff |
annotate
|
| Wed, 13 Apr 2016 11:26:52 +0200 |
wenzelm |
avoid quotes for qualified names;
|
file |
diff |
annotate
|
| Sat, 23 Jan 2016 11:52:48 +0100 |
wenzelm |
empty abbrevs are removed globally;
|
file |
diff |
annotate
|
| Tue, 29 Dec 2015 17:36:18 +0100 |
wenzelm |
support additional abbrevs;
|
file |
diff |
annotate
|
| Tue, 10 Nov 2015 22:27:48 +0100 |
wenzelm |
smart quoting of non-identifiers, e.g. jEdit actions;
|
file |
diff |
annotate
|
| Tue, 10 Nov 2015 16:03:59 +0100 |
wenzelm |
allow open symboloid;
|
file |
diff |
annotate
|
| Sat, 07 Nov 2015 16:05:28 +0100 |
wenzelm |
clarified completion of explicit symbols (see also f6bd97a587b7, e0e4ac981cf1);
|
file |
diff |
annotate
|
| Sat, 07 Nov 2015 15:23:26 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 03 Sep 2015 13:56:32 +0200 |
wenzelm |
clean name as in ML Completion.make;
|
file |
diff |
annotate
|
| Thu, 16 Jul 2015 16:30:43 +0200 |
wenzelm |
clarified boundary cases of completion;
|
file |
diff |
annotate
|
| Sun, 03 May 2015 00:01:10 +0200 |
wenzelm |
misc tuning, based on warnings by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Mon, 16 Mar 2015 15:33:32 +0100 |
wenzelm |
support for completion reports produced in Scala (inlined into messages);
|
file |
diff |
annotate
|
| Thu, 08 Jan 2015 20:56:39 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 01 Dec 2014 15:21:49 +0100 |
wenzelm |
more merge operations;
|
file |
diff |
annotate
|
| Tue, 22 Jul 2014 11:46:34 +0200 |
wenzelm |
no keyword completion within word context -- especially avoid its odd visual rendering;
|
file |
diff |
annotate
|
| Mon, 21 Jul 2014 14:24:10 +0200 |
wenzelm |
always complete explicit symbols;
|
file |
diff |
annotate
|
| Mon, 21 Jul 2014 13:50:26 +0200 |
wenzelm |
discontinued unfinished attempts at syntactic word context (see 2e1398b484aa, 08a1c860bc12, 7f229b0212fe) -- back to more basic completion of Isabelle2013-2;
|
file |
diff |
annotate
|
| Tue, 06 May 2014 16:41:24 +0200 |
wenzelm |
hardwired default_frequency to avoid fluctuation of popup content;
|
file |
diff |
annotate
|
| Wed, 30 Apr 2014 13:11:24 +0200 |
wenzelm |
support for long names in Scala;
|
file |
diff |
annotate
|
| Tue, 29 Apr 2014 13:32:13 +0200 |
wenzelm |
more systematic Isabelle output, like in classic Isabelle/ML (without markup);
|
file |
diff |
annotate
|
| Tue, 22 Apr 2014 23:31:45 +0200 |
wenzelm |
avoid octal escape literals -- deprecated in scala-2.11.0;
|
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
|