Tue, 11 Sep 2012 20:22:03 +0200 | wenzelm | prefer tuning parameters as public methods (again) -- to allow overriding in applications; | changeset | files |
Tue, 11 Sep 2012 19:49:17 +0200 | wenzelm | updated keywords; | changeset | files |
Tue, 11 Sep 2012 19:45:12 +0200 | wenzelm | merged | changeset | files |