diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-12-07 14:02:59 +0100 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-12-07 15:20:31 +0100 |
| commit | 6736fb9db77be8a6f207b95ae0d5f7b3a843dc89 (patch) | |
| tree | 3046794d9942ab4b7a9cc0b596c32fea1630abcb /ide/nanoPG.ml | |
| parent | 48509b6112fc857abdfc442c89821363043ac705 (diff) | |
Ensuring that ide_slave and stm receive only .v files from CoqIDE.
In particular, renouncing to original support for existing non .v
files in CoqIDE (hoping it is ok for anyone). Please amend if better
to propose.
Diffstat (limited to 'ide/nanoPG.ml')
0 files changed, 0 insertions, 0 deletions