diff options
| -rw-r--r-- | phox/phox-tags.el | 1 | ||||
| -rw-r--r-- | phox/phox.el | 3 |
2 files changed, 4 insertions, 0 deletions
diff --git a/phox/phox-tags.el b/phox/phox-tags.el index 4851eb8c..70a4fb2a 100644 --- a/phox/phox-tags.el +++ b/phox/phox-tags.el @@ -21,6 +21,7 @@ (defun phox-tags-add-table(table) "add tags table" (interactive "D directory, location of a file named TAGS to add : ") + (if (not (boundp 'tags-table-list)) (setq tags-table-list nil)) (if (member table tags-table-list) (message "%s already loaded." table) ;; (make-local-variable 'tags-table-list) ; ne fonctionne pas 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 "(*" |