| Tue, 11 Nov 2014 10:26:08 +0100 | desharna | make 'rec_transfer' tactic more robust | changeset | files |
| Tue, 11 Nov 2014 08:57:46 +0100 | Andreas Lochbihler | add del option to measurable; | changeset | files |
| Tue, 11 Nov 2014 00:11:11 +0100 | wenzelm | merged | changeset | files |
| Mon, 10 Nov 2014 21:49:48 +0100 | wenzelm | proper context for assume_tac (atac remains as fall-back without context); | changeset | files |