Thu, 17 Dec 2009 15:38:58 +0100 | wenzelm | tuned; | changeset | files |
Thu, 17 Dec 2009 15:09:07 +0100 | wenzelm | simplified message format: chunks with explicit size in bytes; | changeset | files |
Thu, 17 Dec 2009 13:58:15 +0100 | wenzelm | robust representation of low ASCII control characters within XML/YXML text; | changeset | files |
Wed, 16 Dec 2009 15:15:39 +0100 | wenzelm | merged | changeset | files |
Wed, 16 Dec 2009 15:15:05 +0100 | wenzelm | filter out identical completions; | changeset | files |
Wed, 16 Dec 2009 14:24:18 +0100 | haftmann | spaces not allowed, unfortunately | changeset | files |