--- 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.