NEWS
changeset 69960 eff4ff8ba515
parent 69926 110fff287217
child 69962 82e945d472d5
     1.1 --- a/NEWS	Sat Mar 23 20:12:37 2019 +0100
     1.2 +++ b/NEWS	Sat Mar 23 20:12:50 2019 +0100
     1.3 @@ -250,6 +250,10 @@
     1.4  
     1.5  *** System ***
     1.6  
     1.7 +* The command-line option "isabelle build -e" retrieves theory exports
     1.8 +from the session build database, using 'export_files' in session ROOT
     1.9 +entries.
    1.10 +
    1.11  * The system option "system_heaps" determines where to store the session
    1.12  image of "isabelle build" (and other tools using that internally).
    1.13  Former option "-s" is superseded by option "-o system_heaps".
    1.14 @@ -765,9 +769,7 @@
    1.15  *** ML ***
    1.16  
    1.17  * Operation Export.export emits theory exports (arbitrary blobs), which
    1.18 -are stored persistently in the session build database. Command-line
    1.19 -tools "isabelle export" and "isabelle build -e" allow to materialize
    1.20 -exports in the physical file-system.
    1.21 +are stored persistently in the session build database.
    1.22  
    1.23  * Command 'ML_export' exports ML toplevel bindings to the global
    1.24  bootstrap environment of the ML process. This allows ML evaluation
    1.25 @@ -823,9 +825,8 @@
    1.26  * Command-line tool "isabelle imports -I" also reports actual session
    1.27  imports. This helps to minimize the session dependency graph.
    1.28  
    1.29 -* The command-line tool "export" and "isabelle build -e" (with
    1.30 -'export_files' in session ROOT entries) retrieve theory exports from the
    1.31 -session build database.
    1.32 +* The command-line tool "export" and 'export_files' in session ROOT
    1.33 +entries retrieve theory exports from the session build database.
    1.34  
    1.35  * The command-line tools "isabelle server" and "isabelle client" provide
    1.36  access to the Isabelle Server: it supports responsive session management