summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--emacs17
-rw-r--r--emacs.elcbin11153 -> 11325 bytes
2 files changed, 9 insertions, 8 deletions
diff --git a/emacs b/emacs
index fc1afa7..b6df919 100644
--- a/emacs
+++ b/emacs
@@ -371,14 +371,15 @@ If this is set during find-file, flyspell mode gets enabled automaticaly.")
;; promela-mode
(when (require 'promela-mode nil 'noerror)
(setq auto-mode-alist
- (append
- (list (cons "\\.promela$" 'promela-mode)
- (cons "\\.spin$" 'promela-mode)
- (cons "\\.pml$" 'promela-mode)
- (cons "\\.prm$" 'promela-mode)
- (cons "\\.porm$" 'promela-mode)
- )
- auto-mode-alist)))
+ (append (list '("\\.promela\\'" . promela-mode)
+ '("\\.spin\\'" . promela-mode)
+ '("\\.pml\\'" . promela-mode)
+ '("\\.prm\\'" . promela-mode)
+ '("\\.porm\\'" . promela-mode))
+ auto-mode-alist)
+ promela-block-indent 2
+ promela-selection-indent 0
+ promela-selection-option-indent 3))
;; dired+ mode
(when (require 'dired-x nil 'noerror)
diff --git a/emacs.elc b/emacs.elc
index 0aa03be..4c295b1 100644
--- a/emacs.elc
+++ b/emacs.elc
Binary files differ