diff --git a/RELEASE_NOTES b/RELEASE_NOTES
index 909b15b11..af966c9a8 100644
--- a/RELEASE_NOTES
+++ b/RELEASE_NOTES
@@ -1,5 +1,32 @@
 RELEASE NOTES
 
+Version 4.2
+===========
+
+- Now, Z3 automatically adds arithmetic coercions: to_real and to_int.
+  Option (set-option :int-real-coercions false) disables this feature.
+  If SMTLIB2_COMPLIANT=true in the command line, then :int-real-coercions is also set to false.
+
+- SMTLIB2_COMPLIANT is false by default. Use command line option SMTLIB2_COMPLIANT=true to enable it back.
+
+- Added "make install" and "make uninstall" to Makefile.in.
+  
+- Added "make install-z3py" and "make uninstall-z3py" to Makefile.in.
+
+- Fixed crash/bug in the simplifier. The crash occurred when option ":sort-sums true" was used.
+
+- Added "--with-python=<path>" option to configure script.
+
+- Cleanned c++, maxsat, test_mapi examples.
+
+- Move RELEASE_NOTES files to source code distribution.
+
+- Removed unnecessary files from source code distribution.
+
+- Removed unnecessary compilation modes from z3-prover.sln.
+
+- Added Xor procedure to Z3Py.
+
 First source code release (October 2, 2012)
 ===========================================