# HG changeset patch
# User wenzelm
# Date 1598361286 -7200
# Node ID 5c057abc1b784d09199d97de0a3159f9a387f99e
# Parent  b2f6fdff21fa3c3e2b2af41bed3d368631274194
NEWS;

diff -r b2f6fdff21fa -r 5c057abc1b78 NEWS
--- a/NEWS	Tue Aug 25 15:02:56 2020 +0200
+++ b/NEWS	Tue Aug 25 15:14:46 2020 +0200
@@ -39,9 +39,13 @@
 rule to protect foundational terms during simplification.
 
 
-
 *** HOL ***
 
+* Nitpick/Kodkod may be invoked directly within the running
+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: false).
+
 * Session HOL-Examples contains notable examples for Isabelle/HOL
 (former entries of HOL-Isar_Examples, HOL-ex etc.).