Fri, 13 May 2011 14:16:46 +0200 | wenzelm | proper method_setup "split_idle"; | changeset | files |
Fri, 13 May 2011 14:04:47 +0200 | wenzelm | proper method_setup "enabled"; | changeset | files |
Fri, 13 May 2011 13:45:20 +0200 | wenzelm | simplified clasimpset declarations -- prefer attributes; | changeset | files |
Fri, 13 May 2011 10:10:44 +0200 | blanchet | reduce the number of mono iterations to prevent the mono code from going berserk | changeset | files |