# 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