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