NEWS
changeset 69208 99bc66bc52a4
parent 69190 f714114b0571
child 69218 ab98f058f9dc
     1.1 --- a/NEWS	Mon Oct 29 18:16:02 2018 +0100
     1.2 +++ b/NEWS	Mon Oct 29 18:16:12 2018 +0100
     1.3 @@ -55,6 +55,8 @@
     1.4  * Sledgehammer: The URL for SystemOnTPTP, which is used by remote
     1.5  provers, has been updated.
     1.6  
     1.7 +* SMT: reconstruction is now possible using the SMT solver veriT.
     1.8 +
     1.9  * Session HOL-SPARK: .prv files are no longer written to the
    1.10  file-system, but exported to the session database. Results may be
    1.11  retrieved with the "isabelle export" command-line tool like this: