diff options
Diffstat (limited to 'phox/phox-font.el')
-rw-r--r-- | phox/phox-font.el | 102 |
1 files changed, 0 insertions, 102 deletions
diff --git a/phox/phox-font.el b/phox/phox-font.el deleted file mode 100644 index 3e86dd28..00000000 --- a/phox/phox-font.el +++ /dev/null @@ -1,102 +0,0 @@ -(defvar phox-sym-lock-enabled nil) ; da: for clean compile -(defvar phox-sym-lock-color nil) ; da: for clean compile -(defvar phox-sym-lock-keywords nil) ; da: for clean compile -(declare-function phox-sym-lock "phox-sym-lock") - -;;--------------------------------------------------------------------------;; -;;--------------------------------------------------------------------------;; -;; Font lock keywords -;;--------------------------------------------------------------------------;; - -(defconst phox-font-lock-keywords - (list -;commands - '("(\\*\\([^*]\\|\\*+[^*)]\\)*\\(\\*+)\\|\\**$\\)" - 0 'font-lock-comment-face t) - '("\"\\([^\\\"]\\|\\\\.\\)*\"" - 0 'font-lock-string-face t) - (cons (concat "\\([ \t]\\|^\\)\\(" - "Cst\\|" - "Data\\|" - "I\\(mport\\|nductive\\)\\|" - "Use\\|" - "Sort\\|" - "new_\\(intro\\|e\\(lim\\|quation\\)\\|rewrite\\)\\|" - "a\\(dd_path\\|uthor\\)\\|" - "c\\(l\\(aim\\|ose_def\\)\\|or\\(ollary\\)?\\)\\|" - "d\\(e\\(f\\(\\(_thlist\\|rec\\)\\)?\\|l\\(_proof\\)\\)\\|ocuments\\|epend\\)\\|" - "e\\(lim_after_intro\\|xport\\|del\\|show\\)\\|" - "f\\(act\\|lag\\)\\|" - "goal\\|" - "in\\(clude\\|stitute\\)\\|" - "lem\\(ma\\)?\\|" - "p\\(ath\\|r\\(int\\(_sort\\)?\\|iority\\|op\\(osition\\)?\\|ove_claim\\)\\)\\|" - "quit\\|" - "s\\(ave\\|earch\\)\\|" - "t\\(ex\\(_syntax\\)?\\|heo\\(rem\\)?\\|itle\\|ype\\)" - "\\)[ \t\n\r.]") - '(0 'font-lock-keyword-face t)) -;proof command - (cons (concat "\\([ \t]\\|^\\)\\(" - "a\\(bort\\|fter\\|nd\\|pply\\|ssume\\|xiom\\)\\|" - "by\\(_absurd\\)?\\|" - "constraints\\|" - "elim\\|" - "deduce\\|" - "evaluate\\(_hyp\\)?\\|" - "from\\|" - "goals\\|" - "in\\(tros?\\|stance\\)\\|" - "l\\(oc\\(al\\|k\\)\\|e\\(t\\|fts?\\)\\)\\|" - "next\\|" - "of\\|" - "prove\\|" - "r\\(e\\(write\\(_hyp\\)?\\|name\\)\\|mh\\)\\|" - "s\\(elect\\|how\\|lh\\)\\|" - "t\\(hen\\|rivial\\)\\|" - "u\\(se\\|n\\(do\\|fold\\(_hyp\\)?\\|lock\\)\\)\\|" - "with" - "\\)[ \t.]") - '(0 'font-lock-type-face t)))) -;;--------------------------------------------------------------------------;; -;;--------------------------------------------------------------------------;; -;; phox-sym-lock tables -;;--------------------------------------------------------------------------;; - -(if (featurep 'xemacs) (require 'phox-sym-lock)) - -;; to change this table, xfd -fn '-adobe-symbol-*--12-*' may be -;; used to determine the symbol character codes. -(defconst phox-sym-lock-keywords-table - '((">=" 0 1 179) - ("<=" 0 1 163) - ("!=" 0 1 185) - (":<" 0 1 206) - ("[^:]\\(:\\)[^:= \n\t\r]" 1 7 206) - ("\\\\/" 0 1 36) - ("/\\\\" 0 1 34) - ("\\<or\\>" 0 3 218) - ("\\<in\\>" 0 3 206) - ("\\<notin\\>" 0 4 207) - ("\\<inter\\>" 0 3 199) - ("\\<union\\>" 0 3 200) - ("\\<minus\\>" 0 3 45) - ("&" 0 1 217) - ("<->" 0 1 171) - ("=>" 0 1 222) - ("\\<subset\\>" 0 4 204) - ("->" 0 1 174) - ("~" 0 1 216) - ("\\\\" 0 1 108))) -; "If non nil: Overrides default Phox-Sym-Lock patterns for PhoX.") - -(defun phox-sym-lock-start () - (if (and (featurep 'phox-sym-lock) phox-sym-lock-enabled) - (progn - (setq phox-sym-lock-color - (face-foreground 'font-lock-function-name-face)) - (if (not phox-sym-lock-keywords) - (phox-sym-lock phox-sym-lock-keywords-table))))) - - -(provide 'phox-font) |