From 7f5d66c3c299cefbf334c24afaf40cbb6761eda3 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 19 Nov 2018 12:21:17 -0800
Subject: [PATCH] updated release notes

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 RELEASE_NOTES | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/RELEASE_NOTES b/RELEASE_NOTES
index dcb8fc093..06618a8f2 100644
--- a/RELEASE_NOTES
+++ b/RELEASE_NOTES
@@ -3,8 +3,12 @@ RELEASE NOTES
 Version 4.8.3
 =============
 - New features
-  - native handling of recursive function definitions
+  - Native handling of recursive function definitions, thanks to Simon Cruanes
   - PB rounding based option for conflict resolution when reasoning about PB constraints.
+  - Access to numeral constants as a double from the native API.
+
+- Notes
+  - fixes several bugs discovered since the 4.8.1 release.
 
 Version 4.8.2
 =============