# HG changeset patch
# User blanchet
# Date 1409179238 -7200
# Node ID 835b5443b978965ceefa3c23e7161d483c1e8fa4
# Parent  4e477dcd050a75dbbcc01f03b05ca1fd0b9129e9
updated NEWS

diff -r 4e477dcd050a -r 835b5443b978 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)