diff -r 920fe0a2fd22 -r 1c201e4792cb NEWS
--- a/NEWS	Mon Jan 21 22:46:25 2019 +0100
+++ b/NEWS	Mon Jan 21 07:08:27 2019 +0000
@@ -134,6 +134,11 @@
 
 *** ML ***
 
+* Local_Theory.reset is no longer available in user space. Regular
+definitional packages should use balanced blocks of
+Local_Theory.open_target versus Local_Theory.close_target instead,
+or the Local_Theory.subtarget(_result) combinator. Rare INCOMPATIBILITY.
+
 * Original PolyML.pointerEq is retained as a convenience for tools that
 don't use Isabelle/ML (where this is called "pointer_eq").