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

feat(emacs): highlight Type'

Browse source
This commit is contained in:
Leonardo de Moura 2014-10-02 08:04:00 -07:00
parent 5bd8e9d141
commit 9a75298892
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

@ -123,7 +123,7 @@
word-end)
. 'font-lock-constant-face)
;; Types
(,(rx word-start (or "bool" "int" "nat" "real" "Prop" "Type" "ℕ" "ℤ") word-end) . 'font-lock-type-face)
(,(rx word-start (or "bool" "int" "nat" "real" "Prop" "Type" "Type'" "ℕ" "ℤ") word-end) . 'font-lock-type-face)
;; sorry
(,(rx word-start "sorry" word-end) . 'font-lock-warning-face)
;; extra-keywords