diff options
author | Pierre Courtieu <Matafou@users.noreply.github.com> | 2016-12-14 11:39:42 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-12-14 11:39:42 +0100 |
commit | 9ef31c75a9133693ce462286c4c2aa6428cca06f (patch) | |
tree | 6b916cdc5255f8ab817b76843fa2e6039682f324 /generic/proof-utils.el | |
parent | 1e506d9da3b05a5ec8c6ec5e91f17cf153cb6dfc (diff) | |
parent | 805c1b7ddc1a5c9254bc2252b2d87e79311d4521 (diff) |
Merge pull request #132 from Matafou/master
Remove default absolute name from coq-prog-name (Fixes #76), but keep displaying…
Diffstat (limited to 'generic/proof-utils.el')
0 files changed, 0 insertions, 0 deletions