# HG changeset patch
# User wenzelm
# Date 1546545856 -3600
# Node ID 0484086194ce8fa64d2c7ffab45380e5e3d83f5d
# Parent  a91e32843310817a2e7e4bf0bbcbabb14dc33119
NEWS;

diff -r a91e32843310 -r 0484086194ce NEWS
--- a/NEWS	Thu Jan 03 20:16:42 2019 +0100
+++ b/NEWS	Thu Jan 03 21:04:16 2019 +0100
@@ -160,9 +160,14 @@
 external compiler is applied.
 
 
-
 *** System ***
 
+* 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
+dump".
+
 * Support for Isabelle command-line tools defined in Isabelle/Scala.
 Instances of class Isabelle_Scala_Tools may be configured via the shell
 function "isabelle_scala_tools" in etc/settings (e.g. of an Isabelle