diff options
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 "(*" |