diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-02-16 13:30:28 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-02-16 13:30:28 +0000 |
commit | 1632d0cad718fd07e9a987cd14d5fc29a1b450c4 (patch) | |
tree | d13c2dbf1de8c44d95e7057ed1c192daf04f0255 /README | |
parent | 67c6e89c904f76a268f9297b7589559a262583e0 (diff) |
clarify wording in README, thanks for finding this Francois!
Diffstat (limited to 'README')
-rw-r--r-- | README | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -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. |