diff options
| author |  Arnaud Spiwack <arnaud@spiwack.net> | 2014-11-07 09:10:07 +0100 |
|---|---|---|
| committer | Arnaud Spiwack <arnaud@spiwack.net> | 2014-11-07 09:10:07 +0100 |
| commit | b320666d84e2f9b91d0ab6dd70f29cdb7da68818 (patch) | |
| tree | e3aa10bafd2ee55a0b8e43f92457cf7bece17868 /doc | |
| parent | f30d9777fe19c4e7cc0727947474e08668acae8f (diff) | |
Print [rename] tactic properly in info trace.
Followup of d0a871374e3b3498c51d9d7b8e4510f7e1e7a3e1 (Writing rename_hyps in the new monad).
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions