From b3e048782cf9fe00a725d2f2046cd80cf0d7e483 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 20 Nov 2012 08:48:19 -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 b88c74495..87bba50f2 100644 --- a/RELEASE_NOTES +++ b/RELEASE_NOTES @@ -10,6 +10,8 @@ Version 4.3.2 - Reverted to `(set-option :global-decls false)` as the default. In Z3 4.3.0 and Z3 4.3.1, this option was set to true. Thanks to Julien Henry for reporting this problem. +- Added `doc` directory and scripts for automatically generating the API documentation. + Version 4.3.1 =============