blob: 529e4fadc8c1498cd9dd3a36c89e7e146e912ae1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
To match the CVC4 coding style, drop the following in your ~/.emacs,
replacing "/home/mdeters/cvc4.*" in the last line with a regexp
describing your usual cvc4 editing location(s):
; CVC4 mode
(defun cvc4-c++-editing-mode ()
"C++ mode with adjusted defaults for use with editing CVC4 code."
(interactive)
(message "CVC4 variant of C++ mode activated.")
(c++-mode)
(setq c-basic-offset 2)
(c-set-offset 'innamespace 0)
(setq indent-tabs-mode nil))
(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))
-- Morgan Deters <mdeters@cs.nyu.edu> Mon, 27 Sep 2010 17:35:38 -0400
|