Searched defs:font (Results 1 - 4 of 4) sorted by relevance

/hets/utils/el/
H A Dhpf-mode.el82 (setq hpf-annotation-face 'font-lock-constant-face)
85 (setq hpf-name-face 'font-lock-variable-name-face)
88 (setq hpf-keyword-face 'font-lock-keyword-face)
91 (setq hpf-library-name-face 'font-lock-type-face)
94 (setq hpf-builtin-face 'font-lock-builtin-face)
97 (setq hpf-comment-face 'font-lock-comment-face)
102 (setq hpf-other-name-face 'font-lock-function-name-face)
106 (setq hpf-string-char-face 'font-lock-string-face)
109 ;; "Warning: Do not design an element of font-lock-keywords to match
111 ;; font
[all...]
H A Dcasl-mode.el118 (setq casl-annotation-face 'font-lock-constant-face)
121 (setq casl-name-face 'font-lock-variable-name-face)
124 (setq casl-keyword-face 'font-lock-keyword-face)
127 (setq casl-library-name-face 'font-lock-type-face)
130 (setq casl-builtin-face 'font-lock-builtin-face)
133 (setq casl-comment-face 'font-lock-comment-face)
138 (setq casl-other-name-face 'font-lock-function-name-face)
142 (setq casl-string-char-face 'font-lock-string-face)
145 ;; "Warning: Do not design an element of font-lock-keywords to match
147 ;; font
[all...]
H A Ddol-mode.el118 (setq dol-annotation-face 'font-lock-constant-face)
121 (setq dol-name-face 'font-lock-variable-name-face)
124 (setq dol-keyword-face 'font-lock-keyword-face)
127 (setq dol-library-name-face 'font-lock-type-face)
130 (setq dol-builtin-face 'font-lock-builtin-face)
133 (setq dol-comment-face 'font-lock-comment-face)
138 (setq dol-other-name-face 'font-lock-function-name-face)
142 (setq dol-string-char-face 'font-lock-string-face)
145 ;; "Warning: Do not design an element of font-lock-keywords to match
147 ;; font
[all...]
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...

Completed in 15 milliseconds