| Wed, 20 Jan 2016 19:19:33 +0100 | wenzelm | bypass input method for better imitation of read-only mode (cf. f26a4d5e82b5): e.g. relevant for composition of ALT-u u on Mac OS X; | changeset | files |
| Wed, 20 Jan 2016 15:22:18 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 20 Jan 2016 15:17:03 +0100 | wenzelm | clarified -- this is available on Mac OS X, too; | changeset | files |
| Wed, 20 Jan 2016 14:43:21 +0100 | wenzelm | updated jdk; | changeset | files |
| Wed, 20 Jan 2016 14:32:56 +0100 | wenzelm | tuned signature (according to Scala version); | changeset | files |
| Wed, 20 Jan 2016 18:04:41 +0100 | blanchet | fixed NEWS w.r.t. multisets | changeset | files |