Merge branch '1.3.x'

Conflicts:
	NEWS

1 files changed, 6 insertions, 0 deletions

diff --git a/NEWS b/NEWS
index 74b9a6c0a..d30c0ab77 100644
--- a/NEWS
+++ b/NEWS
@@ -14,6 +14,12 @@ Changes since 1.3
   of CVC4.
 * Small API adjustments to Datatypes to even out the API and make it
   function better in Java.
+* Better automatic handling of output language setting when using CVC4
+  via API.  Previously, the "automatic" language setting was sometimes
+  (though not always) defaulting to the internal "AST" language; it
+  should now (correctly) default to the same as the input language
+  (if the input language is supported as an output language), or the
+  "CVC4" native output language if no input language setting is applied.
 
 Changes since 1.2
 =================