| Mon, 13 May 2013 13:23:13 +0200 | wenzelm | option "goals_limit", with more uniform description; | changeset | files |
| Mon, 13 May 2013 13:01:10 +0200 | wenzelm | clarified message when subgoals have been stripped -- unconditional; | changeset | files |
| Mon, 13 May 2013 12:40:17 +0200 | wenzelm | retain goal display options when printing error messages, to avoid breakdown for huge goals; | changeset | files |