| changeset 72876 | 626fcaebd049 |
| parent 72837 | 2c26c283f3ee |
| child 72879 | b3e9e9e4ff74 |
--- a/NEWS Thu Dec 10 17:41:46 2020 +0100 +++ b/NEWS Thu Dec 10 18:38:26 2020 +0100 @@ -223,6 +223,9 @@ *** System *** +* The command-line tool "isabelle log" prints messages from the build +database of the given session. + * Update/rebuild external provers on currently supported OS platforms, notably CVC4 1.8, E prover 2.5, SPASS 3.8ds, CSDP 6.1.1.