Tue, 26 Mar 2013 20:49:57 +0100 | haftmann | explicit sublocale dependency for Min/Max yields more appropriate Min/Max prefix for a couple of facts | changeset | files |
Tue, 26 Mar 2013 15:10:28 +0100 | wenzelm | merged | changeset | files |
Tue, 26 Mar 2013 14:38:44 +0100 | wenzelm | proper input event handling; | changeset | files |