| 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 |
| Wed, 16 Dec 2009 14:15:24 +0100 | haftmann | user aliasses | changeset | files |
| Mon, 14 Dec 2009 21:28:28 +0100 | boehmes | merged | changeset | files |
| Mon, 14 Dec 2009 21:27:59 +0100 | boehmes | replaced blast by metis (blast hangs with polyml-5.2) | changeset | files |