diff options
author | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2004-04-16 10:04:34 +0000 |
---|---|---|
committer | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2004-04-16 10:04:34 +0000 |
commit | 62962ecc67de1319a8305be9b833604b48423942 (patch) | |
tree | 9f461cf1f89ba797269d06531d8b95293b711d64 /phox | |
parent | 4bb8e615d78906463e6dda4359987c6e5872bdee (diff) |
*** empty log message ***
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) ) |