NEWS

--- a/NEWS	Sat Nov 21 21:02:38 2020 +0100
+++ b/NEWS	Sun Nov 22 13:11:40 2020 +0100
@@ -210,7 +210,7 @@
 *** System ***
 
 * Update/rebuild external provers on currently supported OS platforms,
-notably E prover 2.5, SPASS 3.8ds, CSDP 6.1.1.
+notably CVC4 1.8, E prover 2.5, SPASS 3.8ds, CSDP 6.1.1.
 
 * Discontinued obsolete isabelle display tool, and DVI_VIEWER settings
 variable.