diff options
| author | Hendrik Tews | 2016-01-24 16:01:17 +0100 |
|---|---|---|
| committer | Hendrik Tews | 2016-01-24 16:17:25 +0100 |
| commit | 0aa2efcb948d81c711ff19a8a56f041d955fa1bc (patch) | |
| tree | 1f33a630591132748b74304a501a8009d4326f49 /FAQ | |
| parent | d35b46774617b44776730adf9d8ea4807a75e8a2 (diff) | |
basic proof tree changes for Coq 8.5
Fixes to get basic proof tree functionality, including support for
give_up, cycle, swap, revgoals. Unshelve and evar's don't work yet, see
proof-tree issues #1 and #2
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions