NEWS

--- a/NEWS	Tue Oct 28 11:42:51 2014 +0100
+++ b/NEWS	Tue Oct 28 13:52:54 2014 +0100
@@ -14,6 +14,10 @@
 This supersedes functor Named_Thms, but with a subtle change of
 semantics due to external visual order vs. internal reverse order.
 
+* Command 'notepad' requires proper nesting of begin/end and its proof
+structure in the body: 'oops' is no longer supported here. Minor
+INCOMPATIBILITY, use 'sorry' instead.
+
 
 *** Prover IDE -- Isabelle/Scala/jEdit ***