NEWS

--- a/NEWS	Thu Aug 28 00:40:38 2014 +0200
+++ b/NEWS	Thu Aug 28 00:40:38 2014 +0200
@@ -60,6 +60,12 @@
 * Tactical PARALLEL_ALLGOALS is the most common way to refer to
 PARALLEL_GOALS.
 
+* Old SMT module:
+  - The 'smt' command has been renamed 'old_smt' and moved to
+    'src/HOL/Library/Old_SMT.thy'. It provided for compatibility, until
+    applications have been ported to use the new 'smt2' command.
+    INCOMPATIBILITY.
+
 
 
 New in Isabelle2014 (August 2014)