NEWS

--- a/NEWS	Tue Oct 13 16:17:08 2020 +0200
+++ b/NEWS	Tue Oct 13 16:32:48 2020 +0200
@@ -185,7 +185,7 @@
 *** System ***
 
 * Update/rebuild external provers on currently supported OS platforms,
-notably E Prover 2.5, SPASS 3.8ds, CSDP 6.1.1.
+notably E prover 2.5, SPASS 3.8ds, CSDP 6.1.1.
 
 * Discontinued obsolete isabelle display tool, and DVI_VIEWER settings
 variable.