diff options
author | Morgan Deters <mdeters@gmail.com> | 2009-11-09 21:47:30 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2009-11-09 21:47:30 +0000 |
commit | 5b5474281c4cdc880bff8b9e38b84dc84f88e50c (patch) | |
tree | b0b6f4a53a45af07b81a855154738366bea8eb5d /contrib/editing-with-emacs | |
parent | 842e581321bcd9f30c60b9dacc671843ca776fed (diff) |
minor fixes, added contrib directory
Diffstat (limited to 'contrib/editing-with-emacs')
-rw-r--r-- | contrib/editing-with-emacs | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/contrib/editing-with-emacs b/contrib/editing-with-emacs new file mode 100644 index 000000000..277424230 --- /dev/null +++ b/contrib/editing-with-emacs @@ -0,0 +1,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\\)$" . cvc4-c++-editing-mode) auto-mode-alist)) + + +-- Morgan Deters <mdeters@cs.nyu.edu> Mon, 02 Nov 2009 18:19:22 -0500 |