merged master with dejan's constant evaluating equality engine
[cvc5.git] / contrib / editing-with-emacs
1 To match the CVC4 coding style, drop the following in your ~/.emacs,
2 replacing "/home/mdeters/cvc4.*" in the last line with a regexp
3 describing your usual cvc4 editing location(s):
4
5
6 ; CVC4 mode
7 (defun cvc4-c++-editing-mode ()
8 "C++ mode with adjusted defaults for use with editing CVC4 code."
9 (interactive)
10 (message "CVC4 variant of C++ mode activated.")
11 (c++-mode)
12 (setq c-basic-offset 2)
13 (c-set-offset 'innamespace 0)
14 (setq indent-tabs-mode nil))
15 (setq auto-mode-alist (cons '("/home/mdeters/cvc4.*/.*\\.\\(cc\\|cpp\\|h\\|hh\\|hpp\\|y\\|yy\\|ypp\\|lex\\|l\\|ll\\|lpp\\)\\(\\.in\\)?$" . cvc4-c++-editing-mode) auto-mode-alist))
16
17
18 -- Morgan Deters <mdeters@cs.nyu.edu> Mon, 27 Sep 2010 17:35:38 -0400