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