| Thu, 20 Feb 2014 12:53:12 +0100 |
wenzelm |
completion of keywords and symbols based on language context;
|
file |
diff |
annotate
|
| Fri, 14 Feb 2014 21:06:20 +0100 |
wenzelm |
lexical syntax for SML (in Scala);
|
file |
diff |
annotate
|
| Fri, 14 Feb 2014 15:42:27 +0100 |
wenzelm |
tuned signature -- separate Lexicon from Parsers (in accordance to ML version);
|
file |
diff |
annotate
|
| Fri, 30 Aug 2013 23:38:18 +0200 |
wenzelm |
sort items according to persistent history of frequency of use;
|
file |
diff |
annotate
|
| Fri, 30 Aug 2013 13:24:14 +0200 |
wenzelm |
more explicit indication of unique result (see also 45be26b98ca6, 3d654643cf56);
|
file |
diff |
annotate
|
| Fri, 30 Aug 2013 12:59:28 +0200 |
wenzelm |
explicit is always immediate;
|
file |
diff |
annotate
|
| Fri, 30 Aug 2013 12:44:39 +0200 |
wenzelm |
allow short words for explicit completion;
|
file |
diff |
annotate
|
| Fri, 30 Aug 2013 12:09:53 +0200 |
wenzelm |
allow multiple entries;
|
file |
diff |
annotate
|
| Fri, 30 Aug 2013 11:04:29 +0200 |
wenzelm |
allow multiple symbol properties, notably groups and abbrevs;
|
file |
diff |
annotate
|
| Fri, 30 Aug 2013 10:01:25 +0200 |
wenzelm |
less surprising immediate completion;
|
file |
diff |
annotate
|
| Thu, 29 Aug 2013 22:35:50 +0200 |
wenzelm |
less aggressive immediate completion, based on input and text;
|
file |
diff |
annotate
|
| Thu, 29 Aug 2013 22:08:02 +0200 |
wenzelm |
preserve original word -- relevant for true uniqueness of immediate completion;
|
file |
diff |
annotate
|
| Thu, 29 Aug 2013 15:29:24 +0200 |
wenzelm |
clarified module location;
|
file |
diff |
annotate
| base
|