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>); | file | diff | annotate |
Sun, 20 Dec 2009 15:44:07 +0100 | wenzelm | simiplified result of keyword parser (again); | file | diff | annotate |
Sat, 19 Dec 2009 11:48:11 +0100 | wenzelm | indicate final state of keywords; | file | diff | annotate |
Thu, 17 Dec 2009 15:38:58 +0100 | wenzelm | tuned; | file | diff | annotate |
Wed, 16 Dec 2009 15:15:05 +0100 | wenzelm | filter out identical completions; | file | diff | annotate |
Tue, 23 Jun 2009 21:05:51 +0200 | wenzelm | non-public representation; | file | diff | annotate |
Tue, 23 Jun 2009 20:09:56 +0200 | wenzelm | tuned input: require longer symbol prefix; | file | diff | annotate |
Tue, 23 Jun 2009 17:43:23 +0200 | wenzelm | Completion of symbols and keywords. | file | diff | annotate |