diff options
author | Erik Martin-Dorel <erik@martin-dorel.org> | 2016-12-26 17:36:53 +0100 |
---|---|---|
committer | Erik Martin-Dorel <erik@martin-dorel.org> | 2016-12-26 17:36:53 +0100 |
commit | 4322481d0509a9817935bf22ceb2a5be43a81892 (patch) | |
tree | ed79df768d10c00ad995c2e74f4ac2fd2be44245 /CHANGES | |
parent | aa284916a5c10598efa4fe21753f91fa0a17d262 (diff) |
Fix doc for Coq electric terminator.
Close ProofGeneral/PG#138.
Diffstat (limited to 'CHANGES')
0 files changed, 0 insertions, 0 deletions