Commit 6ea71416 authored by Jean-Christophe Filliâtre's avatar Jean-Christophe Filliâtre
Browse files

fixed Emacs mode (patch provided by Emilio Jesús Gallego Arias)

parent 5e51326c
......@@ -162,7 +162,8 @@
;(make-local-variable 'indent-line-function)
;(setq indent-line-function 'why3-indent-line)
; OCaml style comments for comment-region, comment-dwim, etc.
(setq comment-start "(*" comment-end "*)")
(set (make-local-variable 'comment-start) "(*")
(set (make-local-variable 'comment-end) "*)")
; menu
; providing the mode
(setq major-mode 'why3-mode)
......
Markdown is supported
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