projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 67c6e89)
clarify wording in README, thanks for finding this Francois!
authorMorgan Deters <mdeters@gmail.com>
Thu, 16 Feb 2012 13:30:28 +0000 (13:30 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 16 Feb 2012 13:30:28 +0000 (13:30 +0000)
README patch | blob | history

diff --git a/README b/README
index 4188c9d9b5dd338dd29b501b90a2cf02b0258efb..23fdf9a518fdef86d357b0115ced64cd88c3d328 100644 (file)
--- 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.