diff options
| author | Pierre Courtieu | 2016-02-17 18:05:30 +0100 |
|---|---|---|
| committer | Pierre Courtieu | 2016-02-17 18:05:30 +0100 |
| commit | 8c4d99159f480b4d0ae5885a8d5c905cc88e0bd9 (patch) | |
| tree | 45eb4135eff358a7459154f6b1ffffd0aad22bfe /FAQ | |
| parent | 13a45b86ed77efea621aec97765a97e21653d4d9 (diff) | |
| parent | 0aa2efcb948d81c711ff19a8a56f041d955fa1bc (diff) | |
Merge pull request #40 from hendriktews/proof-tree
basic proof tree changes for Coq 8.5
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions