aboutsummaryrefslogtreecommitdiffhomepage
path: root/phox/x-symbol-phox.el
diff options
context:
space:
mode:
Diffstat (limited to 'phox/x-symbol-phox.el')
-rw-r--r--phox/x-symbol-phox.el230
1 files changed, 0 insertions, 230 deletions
diff --git a/phox/x-symbol-phox.el b/phox/x-symbol-phox.el
deleted file mode 100644
index 8590dd23..00000000
--- a/phox/x-symbol-phox.el
+++ /dev/null
@@ -1,230 +0,0 @@
-;; x-symbol-phox.el
-;; Token language "PhoX Symbols" for package x-symbol
-;;
-;; ID: $Id$
-;; Author: C. Raffalli
-;; Updates by Markus Wenzel, Christoph Wedler, David Aspinall.
-;; Copyright 1998 Technische Universitaet Muenchen
-;; License GPL (GNU GENERAL PUBLIC LICENSE)
-;;
-;; Adapted from x-symbol-isabelle.el
-;; NB: Part of Proof General distribution.
-;;
-
-(require 'proof-utils)
-
-(defvar x-symbol-phox-required-fonts nil)
-
-;;;===========================================================================
-;;; General language accesses, see `x-symbol-language-access-alist'
-;;;===========================================================================
-
-;; NB da: these next two are also set in proof-x-symbol.el, but
-;; it would be handy to be able to use this file away from PG.
-;; FIXME: In future could fix things so just
-;; (require 'proof-x-symbol) would be enough here.
-(require 'proof-x-symbol)
-;(defvar x-symbol-phox-name "phox")
-;(defvar x-symbol-phox-modeline-name "phox")
-
-
-(defcustom x-symbol-phox-header-groups-alist nil
- "*If non-nil, used in isasym specific grid/menu.
-See `x-symbol-header-groups-alist'."
- :group 'x-symbol-phox
- :group 'x-symbol-input-init
- :type 'x-symbol-headers)
-
-(defcustom x-symbol-phox-electric-ignore
- "/\\\\\\|\\\\/"
- "*Additional Phox version of `x-symbol-electric-ignore'."
- :group 'x-symbol-phox
- :group 'x-symbol-input-control
- :type 'x-symbol-function-or-regexp)
-
-(defvar x-symbol-phox-required-fonts nil
- "List of features providing fonts for language `phox'.")
-
-(defvar x-symbol-phox-extra-menu-items nil
- "Extra menu entries for language `phox'.")
-
-(defvar x-symbol-phox-token-grammar
- ;; CW: for X-Symbol-4.4.3:
- ;; '(x-symbol-make-grammar ...)
- (if (fboundp 'x-symbol-make-grammar) ;; x-symbol >=4.3 versions
- (x-symbol-make-grammar
- :encode-spec '(((id . "[_'a-zA-Z0-9]") (op . "[]><=\\/~&+-*%!{}:-]")) .
- ((id . "[_'a-zA-Z0-9]") (op . "[]><=\\/~&+-*%!{}:-]")))
- :decode-spec '(((id . "[_'a-zA-Z0-9]") (op . "[]><=\\/~&+-*%!{}:-]")) .
- ((id . "[_'a-zA-Z0-9]") (op . "[]><=\\/~&+-*%!{}:-]")))
- :decode-regexp "\\([_'a-zA-Z0-9]+\\)\\|\\([]><=\\/~&+-*%!{}:-]+\\)"
- :token-list #'x-symbol-phox-default-token-list
- :input-spec '(((id . "[_'a-zA-Z0-9]") (op . "[]><=\\/~&+-*%!{}:-]")) .
- ((id . "[_'a-zA-Z0-9]") (op . "[]><=\\/~&+-*%!{}:-]"))))))
-
-(defvar x-symbol-phox-input-token-grammar
- '("\\([_'a-zA-Z0-9]+\\)\\|\\([]><=\\/~&+-*%!{}:-]+\\)"
- ((id . "[A-Za-z_0-9]") (op . "[<>!+-*/|&]"))
- (id . "[A-Za-z_0-9]") (op . "[<>!+-*/|&]"))
- "Grammar of input method Token for language `phox'.")
-
-(defun x-symbol-phox-default-token-list (tokens)
- (mapcar
- (lambda (x)
- (cons x
- (cond
- ;; the shapes `id' and `op' are used by x-symbol-phox-token-grammar
- ((string-match "\\`[A-Za-z_][A-Za-z_0-9]+\\'" x)
- 'id)
- ((string-match "\\`[]><=\\/~&+-*%!{}:-]+\\'" x)
- 'op))))
- tokens))
-
-(defvar x-symbol-phox-user-table nil
- "User table defining Phox commands, used in `x-symbol-phox-table'.")
-
-(defvar x-symbol-phox-generated-data nil
- "Internal.")
-
-
-;;;===========================================================================
-;;; No image support
-;;;===========================================================================
-
-(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)
-
-
-;;;===========================================================================
-;;; Charsym Info
-;;;===========================================================================
-
-(defcustom x-symbol-phox-class-alist
- '((VALID "Phox Symbol" (x-symbol-info-face))
- (INVALID "no Phox Symbol" (red x-symbol-info-face)))
- "Alist for Phox's token classes displayed by info in echo area.
-See `x-symbol-language-access-alist' for details."
- :group 'x-symbol-texi
- :group 'x-symbol-info-strings
- :set 'x-symbol-set-cache-variable
- :type 'x-symbol-class-info)
-
-
-(defcustom x-symbol-phox-class-face-alist nil
- "Alist for Phox's color scheme in TeXinfo's grid and info.
-See `x-symbol-language-access-alist' for details."
- :group 'x-symbol-phox
- :group 'x-symbol-input-init
- :group 'x-symbol-info-general
- :set 'x-symbol-set-cache-variable
- :type 'x-symbol-class-faces)
-
-
-(defvar x-symbol-phox-font-lock-keywords nil)
-
-(defvar x-symbol-phox-font-lock-allowed-faces t)
-
-;;;===========================================================================
-;;; The tables
-;;;===========================================================================
-
-(defvar x-symbol-phox-case-insensitive nil)
-(defvar x-symbol-phox-token-shape nil)
-(defvar x-symbol-phox-input-token-ignore nil)
-
-;; FIXME: next one not needed in X-Symbol 4, kept for back compat.
-;;(defvar x-symbol-phox-exec-specs
-;; '(nil ("\\`\\\\<[A-Za-z][A-Za-z0-9_']*>\\'" .
-;; "\\\\<[A-Za-z][A-Za-z0-9_']*>")))
-
-(defvar x-symbol-phox-token-list 'identity)
-
-(defvar x-symbol-phox-xsymb0-table ; symbols
- '((greaterequal ">=")
- (lessequal "<=")
- (notequal "!=")
- (element "in")
- (notelement "notin")
- (propersubset "subset")
- (intersection "inter")
- (union "union")
- (backslash3 "minus")
- (universal1 "/\\")
- (existential1 "\\/")
- (logicalor "or")
- (logicaland "&")
- (arrowboth "<->")
- (arrowright "->")
- (arrowdblright "=>")
- (notsign "~")
- (lambda "\\")
-))
-
-(defun x-symbol-phox-prepare-table (table)
- "Prepar the table."
- (mapcar (lambda (entry)
- (progn
- (list (car entry) nil
- (cadr entry))))
- table))
-
-(defvar x-symbol-phox-table
- (x-symbol-phox-prepare-table
- (append x-symbol-phox-user-table x-symbol-phox-xsymb0-table)))
-
-(provide 'x-symbol-phox)
-
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-;;
-;; User-level settings for X-Symbol
-;;
-;; this is MODE-ON CODING 8BITS UNIQUE SUBSCRIPTS IMAGE
-(defcustom x-symbol-phox-auto-style
- '(phox-x-symbol-enable ; MODE-ON: whether to turn on interactively
- nil ;; x-symbol-coding
- 'null ;; x-symbol-8bits [NEVER want it; null disables search]
- nil ;; x-symbol-unique
- nil ;; x-symbol-subscripts
- nil) ;; x-symbol-image
- "Variable used to document a language access.
-See documentation of `x-symbol-auto-style'."
- :group 'x-symbol-phox
- :group 'x-symbol-mode
- :type 'x-symbol-auto-style)
-
-;; CW: this sexpr can be deleted with X-Symbol 4.4.3
-(eval-when-compile
- ;; Next lines should allow this file to work standalone
- ;; without proof-x-symbol.el. See comments further below too.
- (require 'cl)
- (ignore-errors (require 'x-symbol-vars)))
-
-
-;;;===========================================================================
-;;; Internal
-;;;===========================================================================
-;; CW: all are not needed in X-Symbol >= v4.3
-
-(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-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.")
-
-;; FIXME: next two not needed for newer X-Symbol versions.
-(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.")
-
-(provide 'x-symbol-phox)
-
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-16 05:49:13 +0000