diff options
| author | Hendrik Tews | 2021-01-17 17:34:43 +0100 |
|---|---|---|
| committer | hendriktews | 2021-02-13 20:07:35 +0100 |
| commit | 0aa20ef2aa9b241cfaf1fb7af5387a506678e8ec (patch) | |
| tree | 0f740c4a651d7a0aa8125561aa9f535ad5eaf499 /ci | |
| parent | 9b0703d4dcbf2e0893c217e3e5bd1c030bacc732 (diff) | |
add second stage -vok for Coq >= 8.11
New value vos-and-vok for coq-compile-vos customization option,
existing value vos stands now for vos-no-vok. The implementation
uses the existing vio2vo infrastructure with symbols vok and
vio2vo.
Documentation is still missing.
Diffstat (limited to 'ci')
0 files changed, 0 insertions, 0 deletions