diff options
| author | Pierre Boutillier | 2014-07-22 17:12:36 +0200 |
|---|---|---|
| committer | Pierre Boutillier | 2014-07-22 17:13:32 +0200 |
| commit | 9055359520294ac1089934eb41e1b3b2fe0987a1 (patch) | |
| tree | 2101767b9607c6b0df5a6ab1b56be63dc340342b /kernel | |
| parent | 4ef3d4ff5081fdda009e686d480c70d66c938f68 (diff) | |
When I make MacOS binary, I would like to have a coqtop able to speak to coqide without building coqide
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions