diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2004-04-23 12:50:03 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2004-04-23 12:50:03 +0000 |
| commit | 34d8e9e42a7861469d059ada1edbd325f9ae0a0f (patch) | |
| tree | 53f38aa34c381e0e8733c4878ebcd540217caabb /coq | |
| parent | 610a72455b54a8ff0f1f6aead5249d856d314838 (diff) | |
fixed the need input_spec warning.
Diffstat (limited to 'coq')
| -rw-r--r-- | coq/x-symbol-coq.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/coq/x-symbol-coq.el b/coq/x-symbol-coq.el index 068def97..98c53c09 100644 --- a/coq/x-symbol-coq.el +++ b/coq/x-symbol-coq.el @@ -52,7 +52,8 @@ See `x-symbol-header-groups-alist'." :decode-spec nil ;; decode-spec seems to go with highlighting encoding?? :decode-regexp "\\([a-zA-Z0-9]+\\)\\|\\([]><=\\/~&+-*%!{}:-]+\\)" - :token-list #'x-symbol-coq-default-token-list)) + :token-list #'x-symbol-coq-default-token-list + :input-spec nil)) ;(defvar x-symbol-coq-input-token-grammar ; '("\\([_'a-zA-Z0-9]+\\)\\|\\([]><=\\/~&+-*%!{}:-]+\\)" @@ -93,7 +94,6 @@ See `x-symbol-header-groups-alist'." ;;;=========================================================================== ;; super- and subscripts ;;;=========================================================================== -;not implemeted yet (defcustom x-symbol-coq-subscript-matcher 'x-symbol-coq-subscript-matcher "Function matching super-/subscripts for language `isa'. @@ -164,7 +164,7 @@ or subscript tag." (setq x-symbol-coq-subscript-type (funcall x-symbol-coq-subscript-matcher limit)))) -;(defvar x-symbol-coq-font-lock-keywords nil) + (defvar x-symbol-coq-font-lock-allowed-faces t) ;;;=========================================================================== |