| Sun, 12 Jan 2014 18:34:00 +0100 | wenzelm | proper context for clear_simpset: preserve dounds, depth; | changeset | files |
| Sun, 12 Jan 2014 16:42:02 +0100 | wenzelm | clarified context; | changeset | files |
| Sun, 12 Jan 2014 14:32:22 +0100 | wenzelm | tuned signature; | changeset | files |
| Sun, 12 Jan 2014 13:16:00 +0100 | wenzelm | tuned signature; | changeset | files |