| Mon, 21 Jul 2014 17:39:20 +0200 | wenzelm | removed unused markup (cf. 2f7d91242b99); | changeset | files |
| Mon, 21 Jul 2014 17:37:22 +0200 | wenzelm | regular message to refer to Simplifier Trace panel (unused); | changeset | files |
| Mon, 21 Jul 2014 16:58:12 +0200 | wenzelm | proper Swing buttons instead of active areas within text (by Lars Hupel); | changeset | files |