diff options
| author | Hugo Herbelin | 2019-05-07 09:11:30 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2019-05-14 11:37:50 +0200 |
| commit | d4bb58a66ebaa771216524c070a090e60d4fb7a9 (patch) | |
| tree | 4099cb6427c2aec543c16ebbff632009e742292c /engine/proofview.ml | |
| parent | 44a5643416fbb0e224cf0031f176bd859ef2faf5 (diff) | |
Coqc: Ensure exclusiveness of options -quick and -vio2vo.
Diffstat (limited to 'engine/proofview.ml')
0 files changed, 0 insertions, 0 deletions