| changeset 72457 | 2c7f0ef8323a |
| parent 72451 | e51f1733618d |
| child 72458 | b44e894796d5 |
--- 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.