diff options
-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. |