Commit 15e18f71 authored by Jean-Christophe Filliâtre's avatar Jean-Christophe Filliâtre
Browse files

Emacs mode: underscores treated as part of words, at last

parent 9d8f5b73
......@@ -145,7 +145,8 @@
(let ((file (file-name-nondirectory buffer-file-name)))
(format "why3 ide %s" file))))))
(add-hook 'why3-mode-hook
(lambda () (modify-syntax-entry ?_ "w")))
;; setting the mode
(defun why3-mode ()
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment