diff options
| author |  Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2002-07-25 08:55:29 +0000 |
|---|---|---|
| committer | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2002-07-25 08:55:29 +0000 |
| commit | 0a0c538bcbc8a75600c42a2044a12f4f0a8de1f9 (patch) | |
| tree | 89a6876a948415e9df02935491ef8a0d11873ef5 /phox | |
| parent | 7dade820140f8c97ebf6279c960834e4ef5dfde1 (diff) | |
change to support version 4.4 of x-symbol
Diffstat (limited to 'phox')
| -rw-r--r-- | phox/phox-font.el | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/phox/phox-font.el b/phox/phox-font.el index c3f5c9a3..020417ac 100644 --- a/phox/phox-font.el +++ b/phox/phox-font.el @@ -3,8 +3,10 @@ ;; Font lock keywords ;;--------------------------------------------------------------------------;; +(require 'proof-x-symbol) + (defconst phox-font-lock-keywords - (list + (list ;commands '("(\\*\\([^*]\\|\\*+[^*)]\\)*\\(\\*+)\\|\\**$\\)" 0 'font-lock-comment-face t) @@ -69,7 +71,7 @@ ("/\\\\" 0 1 34) ("\\<or\\>" 0 3 218) ("\\<in\\>" 0 3 206) - ("\\<notin\\>" 0 3 207) + ("\\<notin\\>" 0 4 207) ("\\<inter\\>" 0 3 199) ("\\<union\\>" 0 3 200) ("\\<minus\\>" 0 3 45) |