NEWS;

--- a/NEWS	Mon Oct 12 17:40:00 2020 +0200
+++ b/NEWS	Mon Oct 12 17:42:15 2020 +0200
@@ -182,6 +182,9 @@
 
 *** System ***
 
+* Update/rebuild external provers on currently supported OS platforms,
+notably E Prover 2.5, SPASS 3.8ds, CSDP 6.1.1.
+
 * Discontinued obsolete isabelle display tool, and DVI_VIEWER settings
 variable.