updated news
authorblanchet
Mon Jan 21 22:46:25 2019 +0100 (10 months ago)
changeset 69707920fe0a2fd22
parent 69706 6d6235b828fc
child 69708 1c201e4792cb
updated news
NEWS
     1.1 --- a/NEWS	Mon Jan 21 22:29:41 2019 +0100
     1.2 +++ b/NEWS	Mon Jan 21 22:46:25 2019 +0100
     1.3 @@ -110,8 +110,11 @@
     1.4  are now uniformly called f_cong_simp, in accordance with congruence
     1.5  rules produced for mappers by the datatype package. INCOMPATIBILITY.
     1.6  
     1.7 -* Sledgehammer: The URL for SystemOnTPTP, which is used by remote
     1.8 -provers, has been updated.
     1.9 +* Sledgehammer:
    1.10 +  - The URL for SystemOnTPTP, which is used by remote provers, has
    1.11 +    been updated.
    1.12 +  - The machine-learning-based filter MaSh has been optimized to take
    1.13 +    less time (in most cases).
    1.14  
    1.15  * SMT: reconstruction is now possible using the SMT solver veriT.
    1.16