1.1 --- a/NEWS	Sat May 26 19:39:06 2018 +0200
     1.2 +++ b/NEWS	Sat May 26 19:40:02 2018 +0200
     1.3 @@ -372,8 +372,8 @@
     1.4  $ISABELLE_HOME/heaps/$ML_IDENTIFIER (main Isabelle application or
     1.5  "isabelle jedit -s" or "isabelle build -s").
     1.6  
     1.7 -* The command-line tool retrieves theory exports from the session build
     1.8 -database.
     1.9 +* The command-line tool "export" and 'export_files' in session ROOT
    1.10 +entries retrieve theory exports from the session build database.
    1.11  
    1.12  * The command-line tools "isabelle server" and "isabelle client" provide
    1.13  access to the Isabelle Server: it supports responsive session management