Hi Why developers, I think the below patch against today's git should be applied in order to make why3.el work well on recent version of emacs.
diff --git a/share/emacs/why3.el b/share/emacs/why3.el index a243946..251adbe 100644 --- a/share/emacs/why3.el +++ b/share/emacs/why3.el @@ -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 "*)") + (setq (make-local-variable 'comment-start) "(*" + (make-local-variable 'comment-end) "*)") ; menu ; providing the mode (setq major-mode 'why3-mode) Best, Emilio _______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/why3-club