diff options
author | Erik Martin-Dorel <erik@martin-dorel.org> | 2016-07-23 16:27:02 +0200 |
---|---|---|
committer | Erik Martin-Dorel <erik@martin-dorel.org> | 2016-07-23 16:27:02 +0200 |
commit | 026a3a7f984259c65ffa707c6bb8196c311a2f4b (patch) | |
tree | 4ce15828300d4e10c95dad807e3001b8c8a44ccc /coq/coq-seq-compile.el | |
parent | ceaec9b3e98da7978516f69abca33f65e10f3b03 (diff) |
Add documentation about the recommended way to set coq-prog-name.
Diffstat (limited to 'coq/coq-seq-compile.el')
0 files changed, 0 insertions, 0 deletions