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