diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-01-16 21:43:48 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-16 21:43:48 +0000 |
| commit | e3e203869d5e25fab4809d53c3938f067b3a94db (patch) | |
| tree | afd60fddf5d0a549876fd4fe0247986c294d213f /generic/proof-syntax.el | |
| parent | 72f240e63eb57755e618613cad4bb7edbe951a26 (diff) | |
Reduce compiler warnings. Minor fixes.
Diffstat (limited to 'generic/proof-syntax.el')
| -rw-r--r-- | generic/proof-syntax.el | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el index 5a96ec05..87831f50 100644 --- a/generic/proof-syntax.el +++ b/generic/proof-syntax.el @@ -9,8 +9,10 @@ ;; (require 'font-lock) +(require 'proof-config) ; proof-case-fold-search +(require 'proof-compat) ; proof-buffer-syntactic-context -;; FIXME da: would regexp-opt be better here? Or maybe +;; TODO da: would regexp-opt be better here? Or maybe ;; (concat "\\<" (regexp-opt l) "\\>") (defun proof-ids-to-regexp (l) "Maps a non-empty list of tokens `l' to a regexp matching any element" @@ -280,6 +282,7 @@ Any other %-prefixed character inserts itself." (if acc (insert acc)) (if pos (goto-char pos)))) +;;;###autoload (defun proof-splice-separator (sep strings) "Splice SEP into list of STRINGS." (let (stringsep) |