| Wed, 09 Apr 2014 13:32:34 +0200 | wenzelm | avoid confusion about pointless cursor movement with external links; | changeset | files |
| 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 |
| Wed, 09 Apr 2014 11:32:41 +0200 | wenzelm | more conventional tactic programming; | changeset | files |
| Wed, 09 Apr 2014 10:44:06 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 10 Apr 2014 11:34:55 +0200 | traytel | reintroduce example (cf. 39281b3e4fac) | changeset | files |