1 files changed, 3 insertions, 0 deletions

diff --git a/NEWS b/NEWS
new file mode 100644
index 000000000..860c27633
--- /dev/null
+++ b/NEWS
@@ -0,0 +1,3 @@
+This is a prerelease version of CVC4; distribution is restricted.
+
+-- Morgan Deters <mdeters@cs.nyu.edu>  Mon, 02 Nov 2009 17:54:27 -0500