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