diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-09-07 22:10:31 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-09-07 22:10:31 +0000 |
| commit | ccd8c6ccd5bf8844a8eeae80af6a51557c6b439d (patch) | |
| tree | 96ab87a27e043b0d3121a2e0fd3d991a6a9cf7cc /etc/coq | |
| parent | c397455538e42794f70f2fece7f8e9f036c80969 (diff) | |
proof-assert-electric-terminator: fix for proof-terminal-string, not char
Diffstat (limited to 'etc/coq')
0 files changed, 0 insertions, 0 deletions