Wed, 26 Mar 2014 14:15:34 +0100 |
wenzelm |
unused;
|
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 15:25:52 +0100 |
wenzelm |
special treatment of method combinators like Args.$$$ keywords, although parsed via Parse.$$$;
|
file |
diff |
annotate
|
Wed, 05 Mar 2014 14:19:54 +0100 |
wenzelm |
suppress short abbreviations more uniformly, for outer and quasi-outer syntax;
|
file |
diff |
annotate
|
Sun, 02 Mar 2014 20:34:11 +0100 |
wenzelm |
consider completion report as part of error message -- less stateful, may get handled;
|
file |
diff |
annotate
|
Sun, 23 Feb 2014 21:11:59 +0100 |
wenzelm |
clarified semantic completion: retain kind.full_name as official item name for history;
|
file |
diff |
annotate
|
Sun, 23 Feb 2014 14:39:51 +0100 |
wenzelm |
clarified completion names;
|
file |
diff |
annotate
|
Sat, 22 Feb 2014 21:38:26 +0100 |
wenzelm |
support for semantic completion on Scala side;
|
file |
diff |
annotate
|
Sat, 22 Feb 2014 20:52:43 +0100 |
wenzelm |
support for completion within the formal context;
|
file |
diff |
annotate
|