| Fri, 05 Feb 2010 22:09:57 +0100 | wenzelm | updated versions of requirements; | changeset | files |
| 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>); | changeset | files |
| Fri, 05 Feb 2010 20:19:40 +0100 | wenzelm | eliminated self intersection and non-integer coordinates; | changeset | files |
| Fri, 05 Feb 2010 19:48:13 +0100 | wenzelm | try "GTK+" as well -- note that "Nimbus" is unavailable in versions of OpenJDK; | changeset | files |
| Fri, 05 Feb 2010 14:39:02 +0100 | wenzelm | updated generated files; | changeset | files |
| Fri, 05 Feb 2010 11:51:52 +0100 | wenzelm | merged | changeset | files |
| Thu, 04 Feb 2010 14:45:08 +0100 | hoelzl | Changed 'bounded unique existential quantifiers' from a constant to syntax translation. | changeset | files |