| Tue, 05 Jan 2010 15:43:44 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 27 Dec 2009 22:16:41 +0100 |
wenzelm |
quoted_content: handle escapes;
|
file |
diff |
annotate
|
| Sun, 27 Dec 2009 21:33:35 +0100 |
wenzelm |
added byte_reader, which works without decoding and enables efficient length operation (for scala.util.parsing.input.Reader);
|
file |
diff |
annotate
|
| Tue, 22 Dec 2009 14:58:13 +0100 |
wenzelm |
explicit representation of Token_Kind -- cannot really depend on runtime types due to erasure;
|
file |
diff |
annotate
|
| Sun, 20 Dec 2009 18:02:13 +0100 |
wenzelm |
improve performance by reordering of parser combinators;
|
file |
diff |
annotate
|
| Sun, 20 Dec 2009 17:47:59 +0100 |
wenzelm |
added nested comments;
|
file |
diff |
annotate
|
| Sun, 20 Dec 2009 15:42:40 +0100 |
wenzelm |
simplified result of keyword and symbols parser;
|
file |
diff |
annotate
|
| Sat, 19 Dec 2009 16:51:32 +0100 |
wenzelm |
refined some Symbol operations/signatures;
|
file |
diff |
annotate
|
| Sat, 19 Dec 2009 11:48:11 +0100 |
wenzelm |
indicate final state of keywords;
|
file |
diff |
annotate
|
| Sat, 29 Aug 2009 14:31:39 +0200 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
| Tue, 23 Jun 2009 17:43:51 +0200 |
wenzelm |
moved string utilities to completion.scala;
|
file |
diff |
annotate
|
| Tue, 23 Jun 2009 12:42:45 +0200 |
wenzelm |
more precise implementation of trait methods -- oddly this seems to require copy/paste for +, ++;
|
file |
diff |
annotate
|
| Mon, 22 Jun 2009 20:31:08 +0200 |
wenzelm |
Lexicon: removed unused max_entry;
|
file |
diff |
annotate
|
| Thu, 18 Jun 2009 15:02:18 +0200 |
wenzelm |
subSequence: bounds checking;
|
file |
diff |
annotate
|
| Thu, 18 Jun 2009 14:02:47 +0200 |
wenzelm |
added reverse CharSequence;
|
file |
diff |
annotate
|
| Tue, 16 Jun 2009 21:45:35 +0200 |
wenzelm |
added completions;
|
file |
diff |
annotate
|
| Tue, 16 Jun 2009 18:47:45 +0200 |
wenzelm |
reorganized and abstracted version, via Set trait;
|
file |
diff |
annotate
|
| Tue, 16 Jun 2009 15:25:32 +0200 |
wenzelm |
Efficient scanning of literals.
|
file |
diff |
annotate
|