Thu, 29 Aug 2013 13:00:59 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Wed, 28 Aug 2013 22:25:14 +0200 |
wenzelm |
complete symbols only in backslash forms -- less intrusive editing, greater chance of finding escape sequence in text;
|
file |
diff |
annotate
|
Mon, 27 Feb 2012 17:13:25 +0100 |
wenzelm |
prefer final ADTs -- prevent ooddities;
|
file |
diff |
annotate
|
Thu, 23 Feb 2012 20:23:19 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 23 Feb 2012 19:58:49 +0100 |
wenzelm |
streamlined abstract datatype;
|
file |
diff |
annotate
|
Fri, 16 Dec 2011 13:37:08 +0100 |
wenzelm |
prefer sorting from Scala library;
|
file |
diff |
annotate
|
Thu, 07 Jul 2011 13:48:30 +0200 |
wenzelm |
simplified Symbol based on lazy Symbol.Interpretation -- reduced odd "functorial style";
|
file |
diff |
annotate
|
Sun, 19 Jun 2011 21:43:41 +0200 |
wenzelm |
completion for control symbols;
|
file |
diff |
annotate
|
Sat, 13 Nov 2010 22:33:07 +0100 |
wenzelm |
somewhat adhoc replacement for 'thus' and 'hence';
|
file |
diff |
annotate
|
Mon, 24 May 2010 23:01:51 +0200 |
wenzelm |
renamed "rev" to "reverse" following usual Scala conventions;
|
file |
diff |
annotate
|
Mon, 29 Mar 2010 22:55:57 +0200 |
wenzelm |
replaced some deprecated methods;
|
file |
diff |
annotate
|
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
|