src/Pure/General/completion.ML
Thu, 16 Jul 2015 14:40:23 +0200 wenzelm additional ML parse tree components for Poly/ML 5.5.3, or later;
Wed, 25 Mar 2015 14:39:40 +0100 wenzelm semantic completion for @{system_option};
Mon, 16 Mar 2015 16:59:59 +0100 wenzelm proper headers;
Wed, 26 Mar 2014 14:15:34 +0100 wenzelm unused;
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