| Sat, 09 Aug 2008 12:28:12 +0200 |
wenzelm |
tuned error message;
|
changeset |
files
|
| Sat, 09 Aug 2008 12:28:11 +0200 |
wenzelm |
pos_of_token: Position.T;
|
changeset |
files
|
| Sat, 09 Aug 2008 12:28:10 +0200 |
wenzelm |
dest: sort strings;
|
changeset |
files
|
| Sat, 09 Aug 2008 12:28:09 +0200 |
wenzelm |
added literal;
|
changeset |
files
|
| Sat, 09 Aug 2008 00:09:39 +0200 |
wenzelm |
read_token: more robust handling of empty text;
|
changeset |
files
|
| Sat, 09 Aug 2008 00:09:38 +0200 |
wenzelm |
datatype token: maintain range, tuned representation;
|
changeset |
files
|
| Sat, 09 Aug 2008 00:09:36 +0200 |
wenzelm |
datatype token: maintain range, tuned representation;
|
changeset |
files
|
| Sat, 09 Aug 2008 00:09:35 +0200 |
wenzelm |
datatype token: maintain range, tuned representation;
|
changeset |
files
|
| Sat, 09 Aug 2008 00:09:34 +0200 |
wenzelm |
tuned SymbolPos interface;
|
changeset |
files
|
| Sat, 09 Aug 2008 00:09:31 +0200 |
wenzelm |
YXML.parse: allow text without markup, potentially empty;
|
changeset |
files
|
| Sat, 09 Aug 2008 00:09:29 +0200 |
wenzelm |
added content;
|
changeset |
files
|
| Sat, 09 Aug 2008 00:09:26 +0200 |
wenzelm |
added distance_of (permissive version);
|
changeset |
files
|
| Fri, 08 Aug 2008 19:29:01 +0200 |
wenzelm |
count offset as well;
|
changeset |
files
|
| Fri, 08 Aug 2008 19:28:59 +0200 |
wenzelm |
added offset/end_offset;
|
changeset |
files
|
| Fri, 08 Aug 2008 16:54:33 +0200 |
wenzelm |
tuned formatting;
|
changeset |
files
|
| Fri, 08 Aug 2008 15:36:40 +0200 |
krauss |
clean up dead code
|
changeset |
files
|