From 5b5474281c4cdc880bff8b9e38b84dc84f88e50c Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Mon, 9 Nov 2009 21:47:30 +0000 Subject: minor fixes, added contrib directory --- contrib/editing-with-emacs | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 contrib/editing-with-emacs (limited to 'contrib/editing-with-emacs') 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 Mon, 02 Nov 2009 18:19:22 -0500 -- cgit v1.2.3