eliminated clones;

more operations;

more completion templates;

clarified lazy Completion within Outer_Syntax: measurable speedup of Sessions.deps;

tuned;

init only once (see also c0f776b661fa);

completion supports theory header imports;
tuned;

tuned signature;

tuned signature;

tuned signature;

clarified output for symbol completion;

tuned;

clarified YXML vs. symbol encoding: operate on whole message;

more uniform completion of short word: exclude single character prefix but include two chracter prefix (see also 31633e503c17);

clarified GUI representation of replacement texts with zero or more abbrevs;

discontinued global etc/abbrevs;

tuned;

strictly sequential abbrevs;

more careful quoting, e.g. relevant for \<^control>cartouche;

implicit keyword completion only for actual words (amending 73939a9b70a3);

support 'abbrevs' within theory header;
simplified 'keywords': no abbreviations here;

tuned;

cartouche abbreviations work both for " as well;

eliminated "xname" and variants;

avoid quotes for qualified names;

empty abbrevs are removed globally;

support additional abbrevs;

smart quoting of non-identifiers, e.g. jEdit actions;

allow open symboloid;

clarified completion of explicit symbols (see also f6bd97a587b7, e0e4ac981cf1);

tuned;

clean name as in ML Completion.make;

clarified boundary cases of completion;

support for completion reports produced in Scala (inlined into messages);

tuned;

more merge operations;

misc tuning, based on warnings by IntelliJ IDEA;

no keyword completion within word context -- especially avoid its odd visual rendering;

always complete explicit symbols;

discontinued unfinished attempts at syntactic word context (see 2e1398b484aa, 08a1c860bc12, 7f229b0212fe) -- back to more basic completion of Isabelle2013-2;

hardwired default_frequency to avoid fluctuation of popup content;

support for long names in Scala;

more systematic Isabelle output, like in classic Isabelle/ML (without markup);

avoid octal escape literals -- deprecated in scala-2.11.0;

more specific support for sequence of words;

tuned signature -- separate module Word;

clarified abbreviations for cartouche delimiters, to work in any context;

added spell-checker completion dialog, without counting frequency of items due to empty name;
tuned signature;

separate tokenization and language context for SML: no symbols, no antiquotes;

accomodate word as part of schematic variable name;

merge semantic and syntax completion;
tuned;

tuned;

tuned signature;

clarified completion ordering: prefer local names;

proper Char comparison, despite weakly-typed Scala (cf. 5ff5208de089);

include long identifiers in the reckoning of words (e.g. "integer.lifting" vs. 'lifting_update');

do allow replacement of words where this is appropriate, notably symbol abbrevs and keyword templates (see also 1c42ebdb3a58);

allow suffix of underscores for words (notably keywords), similar to semantic completion;

no completion for complete keywords, to avoid confusion of 'assume' ~> 'assumes' etc.;

clarified description;
tuned;

tuned;

more strict discrimination: symbols vs. keywords could overlap;

tuned;

more accurate description;

misc tuning and clarification;

more accurate description;

tuned description and its rendering;

more detailed description of completion items;

clarified init_assignable: make double-sure that initial values are reset;
more systematic reports for Args.syntax: indicate Args.$$$ quasi-keywords and suppress confusing completion of single symbols like ":", "|", "?";

allow completion within a word (or symbol), like semantic completion;
no special treatment for History_Text_Field, due to lack of active range rendering;

tuned signature;

no word completion within word context;

clarified ML language flags;

clarified semantic completion: retain kind.full_name as official item name for history;
misc tuning;

try explicit semantic completion before syntax completion;

more explicit Completion.Item.range, independently of caret;

clarified completion names;
tuned signature;

support for semantic completion on Scala side;

clarified module location (again, see 763d35697338);

--HG--
rename : src/Pure/Isar/completion.scala => src/Pure/General/completion.scala