NEWS

--- a/NEWS	Mon Aug 31 17:18:47 2020 +0100
+++ b/NEWS	Mon Aug 31 22:05:05 2020 +0200
@@ -7,6 +7,13 @@
 New in this Isabelle version
 ----------------------------
 
+*** General ***
+
+* Proof method "subst" is confined to the original subgoal range: its
+included distinct_subgoals_tac no longer affects unrelated subgoals.
+Rare INCOMPATIBILITY.
+
+
 *** Isabelle/jEdit Prover IDE ***
 
 * The jEdit status line includes a widget for Isabelle/ML heap usage,