# HG changeset patch
# User blanchet
# Date 1409204063 -7200
# Node ID a7a0af6434993e5fc4d99fe69ec2c89bbe3d2ef1
# Parent  96e987003a01e735d339362bf1cfd075cdd56273
tuned terminology

diff -r 96e987003a01 -r a7a0af643499 NEWS
--- a/NEWS	Thu Aug 28 07:30:16 2014 +0200
+++ b/NEWS	Thu Aug 28 07:34:23 2014 +0200
@@ -55,14 +55,14 @@
       min
 
 * Old and new SMT modules:
-  - The old 'smt' command has been renamed 'old_smt' and moved to
+  - The old 'smt' method 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 'smt' command. For the
-    command to work, an older version of Z3 (e.g. Z3 3.2 or 4.0) must be
+    applications have been ported to use the new 'smt' method. For the
+    method to work, an older version of Z3 (e.g. Z3 3.2 or 4.0) must be
     installed, and the environment variable "OLD_Z3_SOLVER" must point to
     it.
     INCOMPATIBILITY.
-  - The 'smt2' command has been renamed 'smt'.
+  - The 'smt2' method has been renamed 'smt'.
     INCOMPATIBILITY.