From 8f4518d28b95abdd25c5ef892516283c4ee06b3d Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 20 Nov 2012 15:24:38 -0800 Subject: [PATCH] updated RELEASE_NOTES Signed-off-by: Leonardo de Moura --- RELEASE_NOTES | 2 ++ 1 file changed, 2 insertions(+) diff --git a/RELEASE_NOTES b/RELEASE_NOTES index 87bba50f2..55e873997 100644 --- a/RELEASE_NOTES +++ b/RELEASE_NOTES @@ -12,6 +12,8 @@ Version 4.3.2 - Added `doc` directory and scripts for automatically generating the API documentation. +- Removed 'autoconf' dependency. We do not need to execute 'autoconf' and './configure' anymore to build Z3. + Version 4.3.1 =============