| Mon, 21 Jul 2014 20:57:47 +0200 | wenzelm | merged | changeset | files |
| Mon, 21 Jul 2014 20:36:25 +0200 | wenzelm | refer to Simplifier Trace panel on first invocation; | changeset | files |
| Mon, 21 Jul 2014 17:39:20 +0200 | wenzelm | removed unused markup (cf. 2f7d91242b99); | changeset | files |