# HG changeset patch
# User wenzelm
# Date 1295285536 -3600
# Node ID 54a4512e29a67e678889cc7f3d4963b60c89818c
# Parent  2aef57d825ff10fb15bd615cfca362c830b3869a
tuned;

diff -r 2aef57d825ff -r 54a4512e29a6 NEWS
--- a/NEWS	Mon Jan 17 18:11:23 2011 +0100
+++ b/NEWS	Mon Jan 17 18:32:16 2011 +0100
@@ -281,10 +281,10 @@
 
 * The default SMT solver Z3 must be enabled explicitly (due to
 licensing issues) by setting the environment variable
-Z3_NON_COMMERCIAL in etc/settings of the component, for example.
-For commercial applications, the SMT solver CVC3 is provided as
-fall-back; changing the SMT solver is done via the configuration
-option "smt_solver".
+Z3_NON_COMMERCIAL in etc/settings of the component, for example.  For
+commercial applications, the SMT solver CVC3 is provided as fall-back;
+changing the SMT solver is done via the configuration option
+"smt_solver".
 
 * Remote SMT solvers need to be referred to by the "remote_" prefix,
 i.e. "remote_cvc3" and "remote_z3".