# HG changeset patch
# User wenzelm
# Date 1546547818 -3600
# Node ID 2b85a9294b2a8138895b375fedb3ce337fc50d62
# Parent  53982d5ec0bb8a9d8e450876869f5d58daf980be
tuned;

diff -r 53982d5ec0bb -r 2b85a9294b2a NEWS
--- a/NEWS	Thu Jan 03 21:15:52 2019 +0100
+++ b/NEWS	Thu Jan 03 21:36:58 2019 +0100
@@ -167,7 +167,8 @@
 * The command-line tool "isabelle update" uses Isabelle/PIDE in
 batch-mode to update theory sources based on semantic markup produced in
 Isabelle/ML. Actual updates depend on system options that may be enable
-via "-u OPT" (for "update_OPT"). Sessions are specified as in "isabelle
+via "-u OPT" (for "update_OPT"), see also $ISABELLE_HOME/etc/options
+section "Theory update". Theory sessions are specified as in "isabelle
 dump".
 
 * Support for Isabelle command-line tools defined in Isabelle/Scala.