--- a/NEWS Thu Mar 16 13:18:25 2023 +0100
+++ b/NEWS Thu Mar 16 15:16:17 2023 +0100
@@ -271,13 +271,16 @@
*** System ***
-* Session builds observe dependency of options that contribute to the
-formal content. This is determined via option tags specified in
-etc/options, notably "content" or "document". A change of relavant
-session options causes a fresh build. For example:
-
- isabelle build -o show_types FOL
+* System option "build_through" determines if session builds should
+observe dependency of options that contribute to the formal content.
+This is specified via option tags given in etc/options (e.g. see
+"isabelle options -l -t content,document"). A change of such options
+causes a fresh build. For example:
+
isabelle build FOL
+ isabelle build -o show_types FOL # unchanged, no depency on options
+ isabelle build -o build_thorough -o show_types FOL # changed
+ isabelle build -o build_thorough FOL # changed
* The command-line tool "isabelle update" is now directly based on
"isabelle build" instead of "isabelle dump". Thus it has become more