| Wed, 09 Apr 2014 12:33:02 +0200 | wenzelm | prefer regular Goal_Display.pretty_goals, without censorship of options; | changeset | files |
| Wed, 09 Apr 2014 12:28:24 +0200 | wenzelm | more standard names; | changeset | files |
| Wed, 09 Apr 2014 12:22:57 +0200 | wenzelm | proper context for print_tac; | changeset | files |