diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-07-18 23:26:38 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-07-18 23:26:38 +0000 |
| commit | 8716ccdb197c93a7ed13742b11ea72be01c3a646 (patch) | |
| tree | dff083fef7459a76a971aafbcdc7a4f816c0620d /coq | |
| parent | 6ff6104ec06c9410fd616175f2d27807b7789801 (diff) | |
Add yet more settings X-Sym complains about.
Diffstat (limited to 'coq')
| -rw-r--r-- | coq/x-symbol-coq.el | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/coq/x-symbol-coq.el b/coq/x-symbol-coq.el index be15d352..7d2c245e 100644 --- a/coq/x-symbol-coq.el +++ b/coq/x-symbol-coq.el @@ -51,6 +51,7 @@ (defvar x-symbol-coq-master-directory 'ignore) (defvar x-symbol-coq-image-searchpath '("./")) (defvar x-symbol-coq-image-cached-dirs '("images/" "pictures/")) +(defvar x-symbol-coq-image-file-truename-alist nil) (defvar x-symbol-coq-image-keywords nil) (defvar x-symbol-coq-font-lock-keywords nil) (defvar x-symbol-coq-header-groups-alist nil) @@ -61,16 +62,21 @@ (defvar x-symbol-coq-electric-ignore nil) (defvar x-symbol-coq-required-fonts nil) (defvar x-symbol-coq-case-insensitive nil) +(defvar x-symbol-coq-extra-menu-items nil) +(defvar x-symbol-coq-token-grammar nil) +(defvar x-symbol-coq-input-token-grammar nil) +(defvar x-symbol-coq-generated-data nil) + ;Pierre: let's try this, phi1 will be encoded, but not phia or ;philosophy. problem: blaphi will be encoded, ; other problem: false1 sholud not be encoded -(defvar x-symbol-coq-token-shape '(?_ "[A-Za-z]+" . "[A-Za-z_]")) - -;(defvar x-symbol-coq-token-shape nil) +;(defvar x-symbol-coq-token-shape '(?_ "[A-Za-z]+" . "[A-Za-z_]")) +(defvar x-symbol-coq-token-shape nil) (defvar x-symbol-coq-table x-symbol-coq-symbol-table) +(defvar x-symbol-coq-user-table nil) (defun x-symbol-coq-default-token-list (tokens) tokens) (defvar x-symbol-coq-token-list 'x-symbol-coq-default-token-list) (defvar x-symbol-coq-input-token-ignore nil) |