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 |