From 62962ecc67de1319a8305be9b833604b48423942 Mon Sep 17 00:00:00 2001 From: Christophe Raffalli Date: Fri, 16 Apr 2004 10:04:34 +0000 Subject: *** empty log message *** --- phox/phox.el | 2 ++ 1 file changed, 2 insertions(+) (limited to 'phox') diff --git a/phox/phox.el b/phox/phox.el index 759e93f9..1b9e85c0 100644 --- a/phox/phox.el +++ b/phox/phox.el @@ -140,6 +140,8 @@ font-lock-keywords (append phox-font-lock-keywords proof-xsym-font-lock-keywords) ) (phox-init-syntax-table) + (setq pbp-goal-command "intro %s;") + (setq pbp-hyp-command "elim %s;") ;; the following is only useful for xemacs (define-key phox-mode-map [(meta ?.)] 'phox-complete-tag) ) -- cgit v1.2.3