1.1 --- a/NEWS	Mon Jan 17 18:11:23 2011 +0100
     1.2 +++ b/NEWS	Mon Jan 17 18:32:16 2011 +0100
     1.3 @@ -281,10 +281,10 @@
     1.4  
     1.5  * The default SMT solver Z3 must be enabled explicitly (due to
     1.6  licensing issues) by setting the environment variable
     1.7 -Z3_NON_COMMERCIAL in etc/settings of the component, for example.
     1.8 -For commercial applications, the SMT solver CVC3 is provided as
     1.9 -fall-back; changing the SMT solver is done via the configuration
    1.10 -option "smt_solver".
    1.11 +Z3_NON_COMMERCIAL in etc/settings of the component, for example.  For
    1.12 +commercial applications, the SMT solver CVC3 is provided as fall-back;
    1.13 +changing the SMT solver is done via the configuration option
    1.14 +"smt_solver".
    1.15  
    1.16  * Remote SMT solvers need to be referred to by the "remote_" prefix,
    1.17  i.e. "remote_cvc3" and "remote_z3".