From f73b31e26145063226949b4cee279bf97ed4c35d Mon Sep 17 00:00:00 2001
From: Christophe Raffalli <christophe.raffalli@univ-savoie.fr>
Date: Tue, 1 Sep 2009 09:15:31 +0000
Subject: hack with phox-prog-name and phox-prog-name-guess to have this phox
 folder working with PG 3.7

---
 phox/phox-tags.el | 1 +
 phox/phox.el      | 3 +++
 2 files changed, 4 insertions(+)

(limited to 'phox')

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             "(*"
-- 
cgit v1.2.3