diff options
| author |  Erik Martin-Dorel <erik@martin-dorel.org> | 2016-09-25 00:25:34 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel <erik@martin-dorel.org> | 2016-09-25 00:25:34 +0200 |
| commit | 71be0c69ff955b2e79f456b6dad5c4406fc08e71 (patch) | |
| tree | b63fc619d1d9bc3843a17e8da4f2a415dbccf5d5 /coq/coq-system.el | |
| parent | df812155800f2fb3aea39a936a6420dc79a3a501 (diff) | |
proof-retract-before-change: Fix #41 by saving/restoring the match data.
Diffstat (limited to 'coq/coq-system.el')
0 files changed, 0 insertions, 0 deletions