src/Pure/General/completion.ML
Fri, 07 Mar 2014 14:37:25 +0100 wenzelm more detailed description of completion items;
Wed, 05 Mar 2014 15:25:52 +0100 wenzelm special treatment of method combinators like Args.$$$ keywords, although parsed via Parse.$$$;
Wed, 05 Mar 2014 14:19:54 +0100 wenzelm suppress short abbreviations more uniformly, for outer and quasi-outer syntax;
Sun, 02 Mar 2014 20:34:11 +0100 wenzelm consider completion report as part of error message -- less stateful, may get handled;
Sun, 23 Feb 2014 21:11:59 +0100 wenzelm clarified semantic completion: retain kind.full_name as official item name for history;
Sun, 23 Feb 2014 14:39:51 +0100 wenzelm clarified completion names;
Sat, 22 Feb 2014 21:38:26 +0100 wenzelm support for semantic completion on Scala side;
Sat, 22 Feb 2014 20:52:43 +0100 wenzelm support for completion within the formal context;
less more (0) tip