diff options
author | 2002-07-25 08:58:54 +0000 | |
---|---|---|
committer | 2002-07-25 08:58:54 +0000 | |
commit | 9e83dfaa67bb7614568fdbb388686f80bd08c05b (patch) | |
tree | 8e979d932f55e4faff768efe525ba58f51eb099c /phox/phox-font.el | |
parent | 0a0c538bcbc8a75600c42a2044a12f4f0a8de1f9 (diff) |
change to support version 4.4 of x-symbol
Diffstat (limited to 'phox/phox-font.el')
-rw-r--r-- | phox/phox-font.el | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/phox/phox-font.el b/phox/phox-font.el index 020417ac..f34b051a 100644 --- a/phox/phox-font.el +++ b/phox/phox-font.el @@ -3,10 +3,8 @@ ;; Font lock keywords ;;--------------------------------------------------------------------------;; -(require 'proof-x-symbol) - (defconst phox-font-lock-keywords - (list + (list ;commands '("(\\*\\([^*]\\|\\*+[^*)]\\)*\\(\\*+)\\|\\**$\\)" 0 'font-lock-comment-face t) |