diff options
| author | Thomas Voss <mail@thomasvoss.com> | 2024-08-12 14:56:37 +0200 |
|---|---|---|
| committer | Thomas Voss <mail@thomasvoss.com> | 2024-08-12 14:56:37 +0200 |
| commit | 792b2bd299b611e378679e5a269cc249e079c60e (patch) | |
| tree | 1c601d00398b79460a0f5694aad02536fec39897 /contrib | |
| parent | 0003a3d51b2a7be791bf60b2cddaebb14dc65183 (diff) | |
Use a new mintage format
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 /?/ |