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