# HG changeset patch
# User wenzelm
# Date 1609073575 -3600
# Node ID dacf2598bb2744c394bdb59afc7c668bf956ca53
# Parent  11140980a6b5e00bb38816ac0f082d86367ce227
proper NEWS according to current situation;

diff -r 11140980a6b5 -r dacf2598bb27 NEWS
--- a/NEWS	Sun Dec 27 13:49:03 2020 +0100
+++ b/NEWS	Sun Dec 27 13:52:55 2020 +0100
@@ -39,9 +39,6 @@
 overrides this: then all defining and referencing positions are shown.
 See also option "jedit_focus_modifier".
 
-* Auto nitpick is enabled by default: it is now reasonably fast due to
-Kodkod invocation within Isabelle/Scala.
-
 * The jEdit status line includes widgets both for JVM and ML heap usage.
 Ongoing ML ongoing garbage collection is shown as "ML cleanup".
 
@@ -134,7 +131,8 @@
 * 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: true).
+guarded by system option "kodkod_scala" (default: true in PIDE
+interaction, false in batch builds).
 
 * Simproc "defined_all" and rewrite rule "subst_all" perform more
 aggressive substitution with variables from assumptions.