diff options
author | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-05-19 17:56:44 -0400 |
---|---|---|
committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-05-19 17:56:44 -0400 |
commit | ac4f528a7797ffa2fcc0b46014ec15232bd8807e (patch) | |
tree | f2a472178d5f43a3e9469c2a90b7f58cecfd03fd /coq/coq-syntax.el | |
parent | 3bcc3c41799dd8b8bf50d182346d962b67f396ab (diff) |
Fail silently if Coq's version can't be detected
Rationale: if Coq isn't installed, we will detect it when trying to run
it, and we don't need to duplicate the error logic.
Additionally, change from using process-lines to using shell-command,
possibly through file-name-handler. The reason for this change is that
we want to do the version detection on the remote server if we're
running in Tramp.
Diffstat (limited to 'coq/coq-syntax.el')
0 files changed, 0 insertions, 0 deletions