| Thu, 16 Jul 2015 14:40:23 +0200 |
wenzelm |
additional ML parse tree components for Poly/ML 5.5.3, or later;
|
file |
diff |
annotate
|
| Wed, 25 Mar 2015 14:39:40 +0100 |
wenzelm |
semantic completion for @{system_option};
|
file |
diff |
annotate
|
| Mon, 16 Mar 2015 16:59:59 +0100 |
wenzelm |
proper headers;
|
file |
diff |
annotate
|
| 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
|