compliance note

diff --git a/RELEASE-NOTES b/RELEASE-NOTES
index 9ad246a9c226e6180efe397d4dfc11e7f37110e4..b271ed1e41892071bcd3ce1c24e9a1111f5afccd 100644 (file)
--- a/RELEASE-NOTES
+++ b/RELEASE-NOTES
@@ -74,6 +74,14 @@ standard.  To make CVC4 adhere more strictly to the standard, use the
 somewhat lenient; some non-conforming input may still be parsed and
 processed.
 
+For the latest news on SMT-LIB compliance, please check:
+
+  http://church.cims.nyu.edu/wiki/SMT-LIB_Compliance
+
+However, please note that that page may refer to a more recent version
+(and possibly an unreleased, development version) than the one you are
+looking at.
+
 ** Getting statistics
 
 Statistics can be dumped on exit (both normal and abnormal exits) with