diff options
| author |  Arnaud Spiwack <arnaud@spiwack.net> | 2014-07-25 18:59:47 +0200 |
|---|---|---|
| committer | Arnaud Spiwack <arnaud@spiwack.net> | 2014-07-25 19:06:23 +0200 |
| commit | 8aec3a45d93b61874ef2567d1430821067905eb3 (patch) | |
| tree | 0cc38a6e2fc3c534e503f8ab81ed24a5bbaa2075 /CHANGES | |
| parent | 106c993738c1eabfc0e90e1402d287018e1cb0de (diff) | |
CHANGES: cycle and swap.
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -87,6 +87,7 @@ Tactics default. * A corresponding new option Set Default Goal Selector "all" makes the tactics in scripts be applied to all the focused goal by default + * New tactics "cycle" and "swap" to reorder goals. * The semantics of recursive tactics (introduced with Ltac t := ... or let rec t := ... in ...) changes slightly as t is now applied to every goal not each goal independently, in particular |