diff -r ace8be1881e1 -r 90242c744a1a NEWS
--- a/NEWS	Thu Nov 25 12:54:21 2021 +0100
+++ b/NEWS	Thu Nov 25 19:56:01 2021 +0100
@@ -743,7 +743,10 @@
 Isabelle/Scala session (instead of an external Java process): this
 improves reactivity and saves resources. This experimental feature is
 guarded by system option "kodkod_scala" (default: true in PIDE
-interaction, false in batch builds).
+interaction, false in batch builds) or configuration option within the
+theory context; it may be changed locally like this:
+
+  declare [[kodkod_scala = false]]
 
 * Simproc "defined_all" and rewrite rule "subst_all" perform more
 aggressive substitution with variables from assumptions.