*** empty log message ***

4 files changed, 84 insertions, 7 deletions

diff --git a/phox/README b/phox/README
index 06f20189..909ae8a8 100644
--- a/phox/README
+++ b/phox/README
@@ -12,6 +12,7 @@ PhoX homepage:  http://www.lama.univ-savoie.fr/~RAFFALLI/phox.html
 This mode has support for script management with PhoX, and some
 other features ported from PhoX's own Emacs mode.
 
+Soon compatible with x-symbol, but it does not work yet ...
 
 $Id$
 
diff --git a/phox/phox-sym-lock.el b/phox/phox-sym-lock.el
index efee6088..31008e37 100644
--- a/phox/phox-sym-lock.el
+++ b/phox/phox-sym-lock.el
@@ -46,7 +46,8 @@
 
 (defvar phox-sym-lock-keywords nil
   "Similar to `font-lock-keywords'.")
-(make-variable-buffer-local 'phox-sym-lock-keywords)(put 'phox-sym-lock-keywords 'permanent-local t)
+(make-variable-buffer-local 'phox-sym-lock-keywords)
+(put 'phox-sym-lock-keywords 'permanent-local t)
 
 (defvar phox-sym-lock-enabled nil
   "Phox-Sym-Lock switch.")
@@ -285,7 +286,7 @@ OBJ under `phox-sym-lock-adobe-symbol-face'. The face extent will become atomic.
     (setq phox-sym-lock-enabled t)
     (if font-lock-mode
 	(progn
-	  (setq font-lock-keywords nil) ; Font-Lock explicit-defaults bug!
+;	  (setq font-lock-keywords nil) ; Font-Lock explicit-defaults bug!
 	  (font-lock-set-defaults t)
 	  (font-lock-fontify-buffer)))
     (message "Phox-Sym-Lock enabled.")))
@@ -298,7 +299,7 @@ OBJ under `phox-sym-lock-adobe-symbol-face'. The face extent will become atomic.
     (setq phox-sym-lock-enabled nil)
     (if font-lock-mode
 	(progn
-	  (setq font-lock-keywords nil) ; Font-Lock explicit-defaults bug!
+;	  (setq font-lock-keywords nil) ; Font-Lock explicit-defaults bug!
 	  (font-lock-set-defaults t)
 	  (font-lock-fontify-buffer)))
     (message "Phox-Sym-Lock disabled.")))
diff --git a/phox/phox.el b/phox/phox.el
index 2f0680e9..eb5295d8 100644
--- a/phox/phox.el
+++ b/phox/phox.el
@@ -206,8 +206,7 @@
    font-lock-keywords  phox-font-lock-keywords
    proof-output-fontify-enable     t)
   (phox-sym-lock-start)
-  (proof-response-config-done)
-  (font-lock-mode))
+  (proof-response-config-done))
 
 (define-derived-mode phox-goals-mode proof-goals-mode
   "PhoX goals" nil
@@ -215,8 +214,7 @@
    font-lock-keywords  phox-font-lock-keywords
    proof-output-fontify-enable     t)
   (phox-sym-lock-start)
-  (proof-goals-config-done)
-  (font-lock-mode))
+  (proof-goals-config-done))
 
 ;; The response buffer and goals buffer modes defined above are
 ;; trivial.  In fact, we don't need to define them at all -- they
diff --git a/phox/x-symbol-phox.el b/phox/x-symbol-phox.el
new file mode 100644
index 00000000..26e2f1f6
--- /dev/null
+++ b/phox/x-symbol-phox.el
@@ -0,0 +1,77 @@
+
+  
+(defvar x-symbol-phox-name "PhoX")
+(defvar phox-xsym-extra-modes '('phox-response-mode 'phox-goals-mode))
+(x-symbol-register-language 'phox 'x-symbol-phox '(phox-mode phox-shell-mode))
+
+
+(defvar x-symbol-phox-required-fonts nil)
+(defvar x-symbol-phox-modeline-name "phox")
+(defvar x-symbol-phox-class-alist
+  '((VALID "PhoX Symbol" (x-symbol-info-face))
+    (INVALID "no PhoX Symbol" (red x-symbol-info-face))))
+(defvar x-symbol-phox-font-lock-keywords nil)
+(defvar x-symbol-phox-image-keywords nil)
+
+(defvar x-symbol-phox-token-shape nil)
+(defvar x-symbol-phox-exec-specs nil)
+(defvar x-symbol-phox-decoding-regexp "\\([_'a-zA-Z0-9]+\\)\\|\\([]><=\\/~&+-*%!{}:-]+\\)")
+(defvar x-symbol-phox-surrounding-regexp "[ \n\t\r]")
+
+(defvar x-symbol-phox-input-token-ignore nil)
+(defvar x-symbol-phox-header-groups-alist nil)
+(defvar x-symbol-phox-class-face-alist nil)
+(defvar x-symbol-phox-electric-ignore nil)
+(defvar x-symbol-phox-case-insensitive nil)
+
+(defvar x-symbol-phox-menu-alist nil
+  "Internal.  Alist used for Isasym specific menu.")
+(defvar x-symbol-phox-grid-alist nil
+  "Internal.  Alist used for Isasym specific grid.")
+(defvar x-symbol-phox-decode-atree nil
+  "Internal.  Atree used by `x-symbol-token-input'.")
+(defvar x-symbol-phox-decode-ahash nil
+  "Internal.  Ahash.")
+(defvar x-symbol-phox-decode-alist nil
+  "Internal.  Alist used for decoding of Isasym macros.")
+(defvar x-symbol-phox-encode-alist nil
+  "Internal.  Alist used for encoding to Isasym macros.")
+
+(defvar x-symbol-phox-nomule-decode-exec nil
+  "Internal.  File name of Isasym decode executable.")
+(defvar x-symbol-phox-nomule-encode-exec nil
+  "Internal.  File name of Isasym encode executable.")
+
+
+
+(defvar x-symbol-phox-master-directory  'ignore)
+(defvar x-symbol-phox-image-searchpath '("./"))
+(defvar x-symbol-phox-image-cached-dirs '("images/" "pictures/"))
+(defvar x-symbol-phox-image-file-truename-alist nil)
+(defvar x-symbol-phox-image-keywords nil)
+
+  
+(defun x-symbol-phox-default-token-list (tokens) tokens)
+
+(defvar x-symbol-phox-token-list 'x-symbol-phox-default-token-list)
+(defvar x-symbol-phox-user-table nil)
+(defvar x-symbol-phox-xsymb0-table
+  '((greaterequal () ">=")
+    (lessequal () "<=")
+    (notequal () "!=")
+    (element () ":")
+    (universal1 () "/\\")
+    (existential1 () "\\/")
+    (logicalor () "or")
+    (logicaland () "&")
+    (arrowboth () "<->")
+    (arrowright () "->")
+    (arrowdblright () "=>")
+    (notsign () "~")
+    (lambda () "\\")
+))
+
+(defvar x-symbol-phox-table
+  (append x-symbol-phox-user-table x-symbol-phox-xsymb0-table))
+
+(provide 'x-symbol-phox)
\ No newline at end of file