src/Pure/Thy/completion.scala
Thu, 07 Jul 2011 13:48:30 +0200 simplified Symbol based on lazy Symbol.Interpretation -- reduced odd "functorial style";
Sun, 19 Jun 2011 21:43:41 +0200 completion for control symbols;
Sat, 13 Nov 2010 22:33:07 +0100 somewhat adhoc replacement for 'thus' and 'hence';
Mon, 24 May 2010 23:01:51 +0200 renamed "rev" to "reverse" following usual Scala conventions;
Mon, 29 Mar 2010 22:55:57 +0200 replaced some deprecated methods;
Fri, 05 Feb 2010 22:07:42 +0100 filter out identical completions only after symbols.decode -- recover completion of literal symbols (e.g. \<AA>);
Sun, 20 Dec 2009 15:44:07 +0100 simiplified result of keyword parser (again);
Sat, 19 Dec 2009 11:48:11 +0100 indicate final state of keywords;
Thu, 17 Dec 2009 15:38:58 +0100 tuned;
Wed, 16 Dec 2009 15:15:05 +0100 filter out identical completions;
Tue, 23 Jun 2009 21:05:51 +0200 non-public representation;
Tue, 23 Jun 2009 20:09:56 +0200 tuned input: require longer symbol prefix;
Tue, 23 Jun 2009 17:43:23 +0200 Completion of symbols and keywords.