diff options
| author | Hendrik Tews | 2021-01-20 10:10:59 +0100 |
|---|---|---|
| committer | hendriktews | 2021-02-13 20:07:35 +0100 |
| commit | 7e7af1294128bbccb98f6c44c77b7ab3ea863a42 (patch) | |
| tree | da10db48900adbec1ec8c8fd4ecb8ddcfc5010ce /CHANGES | |
| parent | ecb3588482d4ec5b418eb566ecfd7e41d6addd6d (diff) | |
update changes and documentation for vok feature
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -29,7 +29,7 @@ and the PG Trac http://proofgeneral.inf.ed.ac.uk/trac *** new menu Coq -> Auto Compilation for all background compilation options -*** support for 8.11 vos compilation +*** support for 8.11 vos and vok compilation See menu Coq -> Auto Compilation -> vos compilation, option coq-compile-vos and subsection "11.3.3 Quick and inconsistent |