From 24b48d6a42a145c88827ecbfa9c7109dccfbe5da Mon Sep 17 00:00:00 2001 From: Unknown Date: Tue, 14 Aug 2012 15:43:40 -0700 Subject: Dafny emacs mode: changed a menu name (Does anyone ever use this menu anyhow?) --- Util/Emacs/dafny-mode.el | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'Util') diff --git a/Util/Emacs/dafny-mode.el b/Util/Emacs/dafny-mode.el index 0b64a775..4f47f9c3 100644 --- a/Util/Emacs/dafny-mode.el +++ b/Util/Emacs/dafny-mode.el @@ -8,7 +8,7 @@ (if dafny-mode-map nil (setq dafny-mode-map (make-keymap)) - (define-key dafny-mode-map "\C-c\C-c" 'dafny-run-boogie) + (define-key dafny-mode-map "\C-c\C-c" 'dafny-run-verifier) (define-key dafny-mode-map [(control return)] 'font-lock-fontify-buffer)) (setq auto-mode-alist @@ -69,7 +69,7 @@ dafny-mode-menu (list dafny-mode-map) "Dafny Mode Menu." '("Dafny" - ["Run Boogie" dafny-run-boogie t] + ["Run Dafny" dafny-run-verifier t] "---" ["Recolor buffer" font-lock-fontify-buffer t] "---" @@ -81,8 +81,8 @@ (defun dafny-command-line (file) (concat "boogie " file)) -(defun dafny-run-boogie () - "run Boogie to check the Dafny program" +(defun dafny-run-verifier () + "run Dafny verifier" (interactive) (let ((f (buffer-name))) (compile (dafny-command-line f)))) -- cgit v1.2.3