From 792b2bd299b611e378679e5a269cc249e079c60e Mon Sep 17 00:00:00 2001
From: Thomas Voss <mail@thomasvoss.com>
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