diff options
author | 2016-12-26 17:36:53 +0100 | |
---|---|---|
committer | 2016-12-26 17:36:53 +0100 | |
commit | 4322481d0509a9817935bf22ceb2a5be43a81892 (patch) | |
tree | ed79df768d10c00ad995c2e74f4ac2fd2be44245 /phox/phox-sym-lock.el | |
parent | aa284916a5c10598efa4fe21753f91fa0a17d262 (diff) |
Fix doc for Coq electric terminator.
Close ProofGeneral/PG#138.
Diffstat (limited to 'phox/phox-sym-lock.el')
0 files changed, 0 insertions, 0 deletions