diff options
Diffstat (limited to 'phox')
| -rw-r--r-- | phox/phox.el | 2 |
1 files changed, 2 insertions, 0 deletions
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) ) |