diff options
Diffstat (limited to 'NEWS')
| -rw-r--r-- | NEWS | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -31,7 +31,8 @@ Improvements: Changes: * SyGuS: Removed support for SyGuS-IF 1.0. -* Removed Java and Python bindings for the legacy API +* Removed support for the (non-standard) `define` command. +* Removed Java and Python bindings for the legacy API. * Interactive shell: the GPL-licensed Readline library has been replaced the BSD-licensed Editline. Compiling with `--best` now enables Editline, instead of Readline. Without selecting optional GPL components, Editline-enabled CVC4 |