NEWS
changeset 70026 6ae9505d693a
parent 70023 5aef4e9966c4
child 70031 2dfba895e26d
     1.1 --- a/NEWS	Tue Apr 02 13:15:52 2019 +0200
     1.2 +++ b/NEWS	Tue Apr 02 13:22:16 2019 +0200
     1.3 @@ -212,9 +212,8 @@
     1.4  
     1.5  * Session HOL-SPARK: .prv files are no longer written to the
     1.6  file-system, but exported to the session database. Results may be
     1.7 -retrieved with the "isabelle export" command-line tool like this:
     1.8 -
     1.9 -  isabelle export -x "*:**.prv" HOL-SPARK-Examples
    1.10 +retrieved via "isabelle build -e HOL-SPARK-Examples" on the
    1.11 +command-line.
    1.12  
    1.13  * Sledgehammer:
    1.14    - The URL for SystemOnTPTP, which is used by remote provers, has been