From 1632d0cad718fd07e9a987cd14d5fc29a1b450c4 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Thu, 16 Feb 2012 13:30:28 +0000
Subject: [PATCH] clarify wording in README, thanks for finding this Francois!

---
 README | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/README b/README
index 4188c9d9b..23fdf9a51 100644
--- a/README
+++ b/README
@@ -86,7 +86,9 @@ Autoconf v2.61
 Libtool v2.2
 ANTLR3 v3.2
 
-*** Emacs mode
+*** Emacs support
 
-For a suggestion of editing CVC4 code with emacs, see README.emacs.
+For a suggestion of editing CVC4 source code with emacs, see the file
+contrib/editing-with-emacs.  For a CVC language mode (the native input
+language for CVC4), see contrib/cvc-mode.el.
 
-- 
2.30.2