# HG changeset patch
# User wenzelm
# Date 1602599568 -7200
# Node ID 4c6f318bcf9cbd768e1c89b0cda6f54e516741ce
# Parent  e79294c4230c9d85ef5350edb77fcc13d2b0508b
tuned;

diff -r e79294c4230c -r 4c6f318bcf9c 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.