| Fri, 27 Apr 2012 20:57:40 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 27 Apr 2012 20:27:40 +0200 | wenzelm | merged | changeset | files |
| Fri, 27 Apr 2012 17:14:13 +0200 | huffman | allow transfer tactic to leave extra unsolved subgoals if transfer rules are missing | changeset | files |