From c400fa8c8208f533c1928419614d11787c952053 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 12 Nov 1998 14:20:16 +0000 Subject: Added setting for proof-goal-command-regexp --- lego/lego.el | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'lego') diff --git a/lego/lego.el b/lego/lego.el index 4dcaa46c..9c35572e 100644 --- a/lego/lego.el +++ b/lego/lego.el @@ -166,7 +166,7 @@ (define-derived-mode lego-mode proof-mode "lego" nil (lego-mode-config) - (easy-menu-change (list proof-mode-name) (car proof-help-menu) + (easy-menu-change (list proof-general-name) (car proof-help-menu) (append (cdr proof-help-menu) lego-help-menu-list))) (eval-and-compile @@ -375,6 +375,7 @@ Given is the first SPAN which needs to be undone." proof-stack-to-indent 'lego-stack-to-indent) (setq proof-save-command-regexp lego-save-command-regexp + proof-goal-command-regexp lego-goal-command-regexp proof-save-with-hole-regexp lego-save-with-hole-regexp proof-goal-with-hole-regexp lego-goal-with-hole-regexp proof-kill-goal-command lego-kill-goal-command -- cgit v1.2.3