From 792b2bd299b611e378679e5a269cc249e079c60e Mon Sep 17 00:00:00 2001 From: Thomas Voss Date: Mon, 12 Aug 2024 14:56:37 +0200 Subject: Use a new mintage format --- contrib/syntax/mintage.vim | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) (limited to 'contrib/syntax') 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 /?/ -- cgit v1.2.3