# HG changeset patch
# User wenzelm
# Date 1602517335 -7200
# Node ID 2c7f0ef8323aef728a64c06191b5efd1d97d4223
# Parent  cd3419427cd3303890b07776975b64905beafe47
NEWS;

diff -r cd3419427cd3 -r 2c7f0ef8323a 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.