diff options
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) |