2011-05-13 | wenzelm | tuned proof; | changeset | files |
2011-05-13 | wenzelm | tuned proof; | changeset | files |
2011-05-13 | wenzelm | proper method_setup; | changeset | files |
2011-05-13 | wenzelm | proper method_setup "split_idle"; | changeset | files |
2011-05-13 | wenzelm | proper method_setup "enabled"; | changeset | files |
2011-05-13 | wenzelm | simplified clasimpset declarations -- prefer attributes; | changeset | files |
Loading... |