From: Morgan Deters <mdeters@gmail.com>
Date: Thu, 16 Feb 2012 13:30:28 +0000 (+0000)
Subject: clarify wording in README, thanks for finding this Francois!
X-Git-Tag: cvc5-1.0.0~8327
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1632d0cad718fd07e9a987cd14d5fc29a1b450c4;p=cvc5.git

clarify wording in README, thanks for finding this Francois!
---

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.