From a572b1d82c82d2bec68a2609846bbd71eafc1188 Mon Sep 17 00:00:00 2001 From: Christophe Raffalli Date: Tue, 5 Mar 2002 17:01:46 +0000 Subject: *** empty log message *** --- phox/README | 1 + phox/phox-sym-lock.el | 7 +++-- phox/phox.el | 6 ++-- phox/x-symbol-phox.el | 77 +++++++++++++++++++++++++++++++++++++++++++++++++++ 4 files changed, 84 insertions(+), 7 deletions(-) create mode 100644 phox/x-symbol-phox.el (limited to 'phox') 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 -- cgit v1.2.3