diff options
Diffstat (limited to 'contrib')
| -rw-r--r-- | contrib/syntax/mintage.vim | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/contrib/syntax/mintage.vim b/contrib/syntax/mintage.vim index 8096f16..be2ea14 100644 --- a/contrib/syntax/mintage.vim +++ b/contrib/syntax/mintage.vim @@ -1,9 +1,12 @@ if exists('b:current_syntax') finish endif -let b:current_syntax = 'mintage' +let b:current_syntax = 'mintage2' -syntax keyword Keyword BEGIN CIRC BU PROOF -syntax match Label /[^\s]\+\*\?:/ -syntax match Number /[0-9\.]\+/ -syntax match Todo /?/ +syntax match Comment /^\s*#.*/ +syntax match Number /[0-9.]\+/ +syntax match Identifier /\v\d{4}(-\S+)?/ +syntax match String /"[^"]\{-}"/ + +" ‘Todo’ is semantically a better syntax group, but it looks bad +syntax match Error /?/ |