diff options
author | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2009-09-01 09:15:31 +0000 |
---|---|---|
committer | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2009-09-01 09:15:31 +0000 |
commit | f73b31e26145063226949b4cee279bf97ed4c35d (patch) | |
tree | 284bafa6ca9607261730a900c7f453dabdd7fd3f /phox/phox.el | |
parent | 802687cdbfaadc37d0c9682177ffc0597266e94c (diff) |
hack with phox-prog-name and phox-prog-name-guess to have this phox folder working with PG 3.7
Diffstat (limited to 'phox/phox.el')
-rw-r--r-- | phox/phox.el | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/phox/phox.el b/phox/phox.el index be6714fa..79fe2b6d 100644 --- a/phox/phox.el +++ b/phox/phox.el @@ -109,6 +109,9 @@ (if phox-sym-lock-enabled (phox-sym-lock-start)) (setq + proof-prog-name phox-prog-name + proof-prog-name-guess t + proof-prog-name-ask nil proof-terminal-char ?\. ; ends every command proof-script-command-end-regexp "[.]\\([ \t\n\r]\\)" proof-script-comment-start "(*" |