NEWS

--- a/NEWS	Tue Oct 13 16:45:38 2020 +0200
+++ b/NEWS	Tue Oct 13 20:28:43 2020 +0200
@@ -186,7 +186,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.