| changeset 68848 | 8825efd1c2cf |
| parent 68824 | 7414ce0256e1 |
| child 68879 | feb1b1b3c51f |
--- a/NEWS Wed Aug 29 20:01:39 2018 +0200 +++ b/NEWS Thu Aug 30 18:40:53 2018 +0200 @@ -22,6 +22,9 @@ SUPREMUM, UNION, INTER should now rarely occur in output and are just retained as migration auxiliary. INCOMPATIBILITY. +* Sledgehammer: The URL for SystemOnTPTP, which is used by remote +provers, has been updated. + *** ML ***