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 | |
| 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')
| -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 "(*" |