1 files changed, 1 insertions, 1 deletions
diff --git a/CHANGES b/CHANGES
index 109fedfe..4c038b8c 100644
--- a/CHANGES
+++ b/CHANGES
@@ -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