NEWS

--- a/NEWS	Sun Dec 05 13:42:58 2010 +0100
+++ b/NEWS	Sun Dec 05 14:02:16 2010 +0100
@@ -83,6 +83,9 @@
 
 *** Pure ***
 
+* Command 'notepad' replaces former 'example_proof' for
+experimentation in Isar without and result.  INCOMPATIBILITY.
+
 * Support for real valued preferences (with approximative PGIP type).
 
 * Interpretation command 'interpret' accepts a list of equations like