diff options
| author | Hugo Herbelin | 2014-05-08 18:36:34 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2014-05-08 20:44:36 +0200 |
| commit | b797ba85b7b0f82d66af5629ccf6f75d90dda99a (patch) | |
| tree | 34bf4fd68362fae205a358f522651bb9e74babee /kernel | |
| parent | 5ad72416fc614c8c876d80673d7a7c2e6f33b9e4 (diff) | |
Avoid "revert" to retype-check the goal, and move it to a "new" tactic.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions