NEWS
changeset 69099 d44cb8a3e5e0
parent 69095 b96dd4963e2d
child 69135 be20f5f6feb9
     1.1 --- a/NEWS	Mon Oct 01 12:19:55 2018 +0200
     1.2 +++ b/NEWS	Mon Oct 01 12:41:35 2018 +0200
     1.3 @@ -47,6 +47,12 @@
     1.4  * Sledgehammer: The URL for SystemOnTPTP, which is used by remote
     1.5  provers, has been updated.
     1.6  
     1.7 +* Session HOL-SPARK: .prv files are no longer written to the
     1.8 +file-system, but exported to the session database. Results may be
     1.9 +retrieved with the "isabelle export" command-line tool like this:
    1.10 +
    1.11 +  isabelle export -x "*:**.prv" HOL-SPARK-Examples
    1.12 +
    1.13  
    1.14  *** ML ***
    1.15