diff options
author | Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2015-02-03 22:01:17 +0100 |
---|---|---|
committer | Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2015-02-13 18:32:58 +0100 |
commit | bb3c3713929ff8647004c18faaebcc311335cfa9 (patch) | |
tree | bf738be515bb99261f027c3fa1d7c4b89282a673 /pretyping/reductionops.ml | |
parent | dcb23edad4debc0f4856580910cb5eba00077006 (diff) |
Hardcode how coqide have to look for coqtop in MacOS bundle
Sorry, that is ugly. Please revert if you see a better way to do it.
Diffstat (limited to 'pretyping/reductionops.ml')
0 files changed, 0 insertions, 0 deletions