michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat(emacs): add Type0 highlight

Browse source
This commit is contained in:
Leonardo de Moura 2014-12-05 22:14:28 -08:00
parent 94a825c472
commit d09bc95eaf
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/emacs/lean-syntax.el
View file

@ -129,7 +129,7 @@
word-end)
. 'font-lock-constant-face)
;; Types
(,(rx word-start (or "Prop" "Type" "Type'" "Type₊" "Type₁" "Type₂" "Type₃") symbol-end) . 'font-lock-type-face)
(,(rx word-start (or "Prop" "Type" "Type'" "Type₊" "Type₀" "Type₁" "Type₂" "Type₃") symbol-end) . 'font-lock-type-face)
(,(rx word-start (group "Type") ".") (1 'font-lock-type-face))
;; sorry
(,(rx word-start "sorry" word-end) . 'font-lock-warning-face)