| Tue, 27 Aug 2013 13:07:31 +0200 | wenzelm | more standard key handling according to jEdit (with workaround); | changeset | files |
| Tue, 27 Aug 2013 12:35:32 +0200 | wenzelm | more systematic JEdit_Lib.key_listener with optional KeyEventWorkaround; | changeset | files |
| Wed, 28 Aug 2013 18:44:50 +0200 | blanchet | got rid of old error -- users who install SPASS manually are responsible for any version mismatches | changeset | files |
| Wed, 28 Aug 2013 18:44:50 +0200 | blanchet | tuned messages | changeset | files |