| Fri, 16 Jan 2015 10:59:15 +0100 | hoelzl | tuned measurability proofs | changeset | files |
| Mon, 19 Jan 2015 21:54:56 +0100 | blanchet | typo in description | changeset | files |
| Mon, 19 Jan 2015 21:24:47 +0100 | wenzelm | tuned message; | changeset | files |
| Mon, 19 Jan 2015 21:15:30 +0100 | wenzelm | always swap panels, which leads to slightly better GUI layout; | changeset | files |
| Mon, 19 Jan 2015 21:06:47 +0100 | wenzelm | suppress inactive controls (again); | changeset | files |
| Mon, 19 Jan 2015 21:06:01 +0100 | wenzelm | tuned colors; | changeset | files |
| Mon, 19 Jan 2015 20:39:01 +0100 | wenzelm | tuned; | changeset | files |