@openclaw/diffs 2026.10.2 → 2026.10.5-beta.2

package/node_modules/@shikijs/langs/dist/beancount.mjs

@@ -1,4 +1,4 @@
-const lang = Object.freeze(JSON.parse("{\"displayName\":\"Beancount\",\"fileTypes\":[\"beancount\"],\"name\":\"beancount\",\"patterns\":[{\"match\":\";.*\",\"name\":\"comment.line.beancount\"},{\"begin\":\"^\\\\s*(p(?:op|ush)tag)\\\\s+(#)([\\\\--9A-Z_a-z]+)\",\"beginCaptures\":{\"1\":{\"name\":\"support.function.beancount\"},\"2\":{\"name\":\"keyword.operator.tag.beancount\"},\"3\":{\"name\":\"entity.name.tag.beancount\"}},\"end\":\"(?=^(\\\\s*$|\\\\S))\",\"name\":\"meta.directive.tag.beancount\",\"patterns\":[{\"include\":\"#comments\"},{\"include\":\"#illegal\"}]},{\"begin\":\"^\\\\s*(include)\\\\s+(\\\".*\\\")\",\"beginCaptures\":{\"1\":{\"name\":\"support.function.beancount\"},\"2\":{\"name\":\"string.quoted.double.beancount\"}},\"end\":\"(?=^(\\\\s*$|\\\\S))\",\"name\":\"meta.directive.include.beancount\",\"patterns\":[{\"include\":\"#comments\"},{\"include\":\"#illegal\"}]},{\"begin\":\"^\\\\s*(option)\\\\s+(\\\".*\\\")\\\\s+(\\\".*\\\")\",\"beginCaptures\":{\"1\":{\"name\":\"support.function.beancount\"},\"2\":{\"name\":\"support.variable.beancount\"},\"3\":{\"name\":\"string.quoted.double.beancount\"}},\"end\":\"(?=^(\\\\s*$|\\\\S))\",\"name\":\"meta.directive.option.beancount\",\"patterns\":[{\"include\":\"#comments\"},{\"include\":\"#illegal\"}]},{\"begin\":\"^\\\\s*(plugin)\\\\s*(\\\"(.*?)\\\")\\\\s*(\\\".*?\\\")?\",\"beginCaptures\":{\"1\":{\"name\":\"support.function.beancount\"},\"2\":{\"name\":\"string.quoted.double.beancount\"},\"3\":{\"name\":\"entity.name.function.beancount\"},\"4\":{\"name\":\"string.quoted.double.beancount\"}},\"end\":\"(?=^(\\\\s*$|\\\\S))\",\"name\":\"keyword.operator.directive.beancount\",\"patterns\":[{\"include\":\"#comments\"},{\"include\":\"#illegal\"}]},{\"begin\":\"([0-9]{4})([-/|])([0-9]{2})([-/|])([0-9]{2})\\\\s+(open|close|pad)\\\\b\",\"beginCaptures\":{\"1\":{\"name\":\"constant.numeric.date.year.beancount\"},\"2\":{\"name\":\"punctuation.separator.beancount\"},\"3\":{\"name\":\"constant.numeric.date.month.beancount\"},\"4\":{\"name\":\"punctuation.separator.beancount\"},\"5\":{\"name\":\"constant.numeric.date.day.beancount\"},\"6\":{\"name\":\"support.function.beancount\"}},\"end\":\"(?=^(\\\\s*$|\\\\S))\",\"name\":\"meta.directive.dated.beancount\",\"patterns\":[{\"include\":\"#comments\"},{\"include\":\"#meta\"},{\"include\":\"#account\"},{\"include\":\"#commodity\"},{\"match\":\",\",\"name\":\"punctuation.separator.beancount\"},{\"include\":\"#illegal\"}]},{\"begin\":\"([0-9]{4})([-/|])([0-9]{2})([-/|])([0-9]{2})\\\\s+(custom)\\\\b\",\"beginCaptures\":{\"1\":{\"name\":\"constant.numeric.date.year.beancount\"},\"2\":{\"name\":\"punctuation.separator.beancount\"},\"3\":{\"name\":\"constant.numeric.date.month.beancount\"},\"4\":{\"name\":\"punctuation.separator.beancount\"},\"5\":{\"name\":\"constant.numeric.date.day.beancount\"},\"6\":{\"name\":\"support.function.beancount\"}},\"end\":\"(?=^(\\\\s*$|\\\\S))\",\"name\":\"meta.directive.dated.beancount\",\"patterns\":[{\"include\":\"#comments\"},{\"include\":\"#meta\"},{\"include\":\"#string\"},{\"include\":\"#bool\"},{\"include\":\"#amount\"},{\"include\":\"#number\"},{\"include\":\"#date\"},{\"include\":\"#account\"},{\"include\":\"#illegal\"}]},{\"begin\":\"([0-9]{4})([-/|])([0-9]{2})([-/|])([0-9]{2})\\\\s(event)\",\"beginCaptures\":{\"1\":{\"name\":\"constant.numeric.date.year.beancount\"},\"2\":{\"name\":\"punctuation.separator.beancount\"},\"3\":{\"name\":\"constant.numeric.date.month.beancount\"},\"4\":{\"name\":\"punctuation.separator.beancount\"},\"5\":{\"name\":\"constant.numeric.date.day.beancount\"},\"6\":{\"name\":\"support.function.directive.beancount\"}},\"end\":\"(?=^(\\\\s*$|\\\\S))\",\"name\":\"meta.directive.dated.beancount\",\"patterns\":[{\"include\":\"#comments\"},{\"include\":\"#meta\"},{\"include\":\"#string\"},{\"include\":\"#illegal\"}]},{\"begin\":\"([0-9]{4})([-/|])([0-9]{2})([-/|])([0-9]{2})\\\\s(commodity)\",\"beginCaptures\":{\"1\":{\"name\":\"constant.numeric.date.year.beancount\"},\"2\":{\"name\":\"punctuation.separator.beancount\"},\"3\":{\"name\":\"constant.numeric.date.month.beancount\"},\"4\":{\"name\":\"punctuation.separator.beancount\"},\"5\":{\"name\":\"constant.numeric.date.day.beancount\"},\"6\":{\"name\":\"support.function.directive.beancount\"}},\"end\":\"(?=^(\\\\s*$|\\\\S))\",\"name\":\"meta.directive.dated.beancount\",\"patterns\":[{\"include\":\"#comments\"},{\"include\":\"#meta\"},{\"include\":\"#commodity\"},{\"include\":\"#illegal\"}]},{\"begin\":\"([0-9]{4})([-/|])([0-9]{2})([-/|])([0-9]{2})\\\\s(note|document)\",\"beginCaptures\":{\"1\":{\"name\":\"constant.numeric.date.year.beancount\"},\"2\":{\"name\":\"punctuation.separator.beancount\"},\"3\":{\"name\":\"constant.numeric.date.month.beancount\"},\"4\":{\"name\":\"punctuation.separator.beancount\"},\"5\":{\"name\":\"constant.numeric.date.day.beancount\"},\"6\":{\"name\":\"support.function.directive.beancount\"}},\"end\":\"(?=^(\\\\s*$|\\\\S))\",\"name\":\"meta.directive.dated.beancount\",\"patterns\":[{\"include\":\"#comments\"},{\"include\":\"#meta\"},{\"include\":\"#account\"},{\"include\":\"#string\"},{\"include\":\"#illegal\"}]},{\"begin\":\"([0-9]{4})([-/|])([0-9]{2})([-/|])([0-9]{2})\\\\s(price)\",\"beginCaptures\":{\"1\":{\"name\":\"constant.numeric.date.year.beancount\"},\"2\":{\"name\":\"punctuation.separator.beancount\"},\"3\":{\"name\":\"constant.numeric.date.month.beancount\"},\"4\":{\"name\":\"punctuation.separator.beancount\"},\"5\":{\"name\":\"constant.numeric.date.day.beancount\"},\"6\":{\"name\":\"support.function.directive.beancount\"}},\"end\":\"(?=^(\\\\s*$|\\\\S))\",\"name\":\"meta.directive.dated.beancount\",\"patterns\":[{\"include\":\"#comments\"},{\"include\":\"#meta\"},{\"include\":\"#commodity\"},{\"include\":\"#amount\"},{\"include\":\"#illegal\"}]},{\"begin\":\"([0-9]{4})([-/|])([0-9]{2})([-/|])([0-9]{2})\\\\s(balance)\",\"beginCaptures\":{\"1\":{\"name\":\"constant.numeric.date.year.beancount\"},\"2\":{\"name\":\"punctuation.separator.beancount\"},\"3\":{\"name\":\"constant.numeric.date.month.beancount\"},\"4\":{\"name\":\"punctuation.separator.beancount\"},\"5\":{\"name\":\"constant.numeric.date.day.beancount\"},\"6\":{\"name\":\"support.function.directive.beancount\"}},\"end\":\"(?=^(\\\\s*$|\\\\S))\",\"name\":\"meta.directive.dated.beancount\",\"patterns\":[{\"include\":\"#comments\"},{\"include\":\"#meta\"},{\"include\":\"#account\"},{\"include\":\"#amount\"},{\"include\":\"#illegal\"}]},{\"begin\":\"([0-9]{4})([-/|])([0-9]{2})([-/|])([0-9]{2})\\\\s*(txn|[!#%\\\\&*?CMPR-U])\\\\s*(\\\".*?\\\")?\\\\s*(\\\".*?\\\")?\",\"beginCaptures\":{\"1\":{\"name\":\"constant.numeric.date.year.beancount\"},\"2\":{\"name\":\"punctuation.separator.beancount\"},\"3\":{\"name\":\"constant.numeric.date.month.beancount\"},\"4\":{\"name\":\"punctuation.separator.beancount\"},\"5\":{\"name\":\"constant.numeric.date.day.beancount\"},\"6\":{\"name\":\"support.function.directive.beancount\",\"patterns\":[{\"match\":\"txn|\\\\*\",\"name\":\"support.function.directive.txn.completed.beancount\"},{\"match\":\"!\",\"name\":\"support.function.directive.txn.incomplete.beancount\"},{\"match\":\"P\",\"name\":\"support.function.directive.txn.padding.beancount\"}]},\"7\":{\"name\":\"string.quoted.tiers.beancount\"},\"8\":{\"name\":\"string.quoted.narration.beancount\"}},\"end\":\"(?=^(\\\\s*$|\\\\S))\",\"name\":\"meta.directive.transaction.beancount\",\"patterns\":[{\"include\":\"#comments\"},{\"include\":\"#posting\"},{\"include\":\"#meta\"},{\"include\":\"#tag\"},{\"include\":\"#link\"},{\"include\":\"#illegal\"}]}],\"repository\":{\"account\":{\"begin\":\"([A-Z][a-z]+)(:)\",\"beginCaptures\":{\"1\":{\"name\":\"variable.language.beancount\"},\"2\":{\"name\":\"punctuation.separator.beancount\"}},\"end\":\"\\\\s\",\"name\":\"meta.account.beancount\",\"patterns\":[{\"begin\":\"(\\\\S+)(:?)\",\"beginCaptures\":{\"1\":{\"name\":\"variable.other.account.beancount\"},\"2\":{\"name\":\"punctuation.separator.beancount\"}},\"end\":\"(:?)|(\\\\s)\",\"patterns\":[{\"include\":\"$self\"},{\"include\":\"#illegal\"}]}]},\"amount\":{\"captures\":{\"1\":{\"name\":\"keyword.operator.modifier.beancount\"},\"2\":{\"name\":\"constant.numeric.currency.beancount\"},\"3\":{\"name\":\"entity.name.type.commodity.beancount\"}},\"match\":\"([-+|]?)(\\\\d+(?:,\\\\d{3})*(?:\\\\.\\\\d*)?)\\\\s*([A-Z][-'.0-9A-Z_]{0,22}[0-9A-Z])\",\"name\":\"meta.amount.beancount\"},\"bool\":{\"captures\":{\"0\":{\"name\":\"constant.language.bool.beancount\"},\"2\":{\"name\":\"constant.numeric.currency.beancount\"},\"3\":{\"name\":\"entity.name.type.commodity.beancount\"}},\"match\":\"TRUE|FALSE\"},\"comments\":{\"captures\":{\"1\":{\"name\":\"comment.line.beancount\"}},\"match\":\"(;.*)$\"},\"commodity\":{\"match\":\"([A-Z][-'.0-9A-Z_]{0,22}[0-9A-Z])\",\"name\":\"entity.name.type.commodity.beancount\"},\"cost\":{\"begin\":\"\\\\{\\\\{?\",\"beginCaptures\":{\"0\":{\"name\":\"keyword.operator.assignment.beancount\"}},\"end\":\"}}?\",\"endCaptures\":{\"0\":{\"name\":\"keyword.operator.assignment.beancount\"}},\"name\":\"meta.cost.beancount\",\"patterns\":[{\"include\":\"#amount\"},{\"include\":\"#date\"},{\"match\":\",\",\"name\":\"punctuation.separator.beancount\"},{\"include\":\"#illegal\"}]},\"date\":{\"captures\":{\"1\":{\"name\":\"constant.numeric.date.year.beancount\"},\"2\":{\"name\":\"punctuation.separator.beancount\"},\"3\":{\"name\":\"constant.numeric.date.month.beancount\"},\"4\":{\"name\":\"punctuation.separator.beancount\"},\"5\":{\"name\":\"constant.numeric.date.day.beancount\"}},\"match\":\"([0-9]{4})([-/|])([0-9]{2})([-/|])([0-9]{2})\",\"name\":\"meta.date.beancount\"},\"flag\":{\"match\":\"(?<=\\\\s)([!#%\\\\&*?CMPR-U])(?=\\\\s+)\",\"name\":\"keyword.other.beancount\"},\"illegal\":{\"match\":\"\\\\S\",\"name\":\"invalid.illegal.unrecognized.beancount\"},\"link\":{\"captures\":{\"1\":{\"name\":\"keyword.operator.link.beancount\"},\"2\":{\"name\":\"markup.underline.link.beancount\"}},\"match\":\"(\\\\^)([\\\\--9A-Z_a-z]+)\"},\"meta\":{\"begin\":\"^\\\\s*([a-z][-0-9A-Z_a-z]+)(:)\",\"beginCaptures\":{\"1\":{\"name\":\"keyword.operator.directive.beancount\"},\"2\":{\"name\":\"punctuation.separator.beancount\"}},\"end\":\"\\\\n\",\"name\":\"meta.meta.beancount\",\"patterns\":[{\"include\":\"#string\"},{\"include\":\"#account\"},{\"include\":\"#bool\"},{\"include\":\"#commodity\"},{\"include\":\"#date\"},{\"include\":\"#tag\"},{\"include\":\"#amount\"},{\"include\":\"#number\"},{\"include\":\"#comments\"},{\"include\":\"#illegal\"}]},\"number\":{\"captures\":{\"1\":{\"name\":\"keyword.operator.modifier.beancount\"},\"2\":{\"name\":\"constant.numeric.currency.beancount\"}},\"match\":\"([-+|]?)(\\\\d+(?:,\\\\d{3})*(?:\\\\.\\\\d*)?)\"},\"posting\":{\"begin\":\"^\\\\s+(?=([!A-Z]))\",\"end\":\"(?=^(\\\\s*$|\\\\S|\\\\s*[A-Z]))\",\"name\":\"meta.posting.beancount\",\"patterns\":[{\"include\":\"#meta\"},{\"include\":\"#comments\"},{\"include\":\"#flag\"},{\"include\":\"#account\"},{\"include\":\"#amount\"},{\"include\":\"#cost\"},{\"include\":\"#date\"},{\"include\":\"#price\"},{\"include\":\"#illegal\"}]},\"price\":{\"begin\":\"@@?\",\"beginCaptures\":{\"0\":{\"name\":\"keyword.operator.assignment.beancount\"}},\"end\":\"(?=([\\\\n;]))\",\"name\":\"meta.price.beancount\",\"patterns\":[{\"include\":\"#amount\"},{\"include\":\"#illegal\"}]},\"string\":{\"begin\":\"\\\"\",\"end\":\"\\\"\",\"name\":\"string.quoted.double.beancount\",\"patterns\":[{\"match\":\"\\\\\\\\.\",\"name\":\"constant.character.escape.beancount\"}]},\"tag\":{\"captures\":{\"1\":{\"name\":\"keyword.operator.tag.beancount\"},\"2\":{\"name\":\"entity.name.tag.beancount\"}},\"match\":\"(#)([\\\\--9A-Z_a-z]+)\"}},\"scopeName\":\"text.beancount\"}"))
+const lang = Object.freeze(JSON.parse("{\"displayName\":\"Beancount\",\"fileTypes\":[\"beancount\"],\"name\":\"beancount\",\"patterns\":[{\"match\":\";.*\",\"name\":\"comment.line.beancount\"},{\"begin\":\"^\\\\s*(p(?:op|ush)tag)\\\\s+(#)([\\\\--9A-Z_a-z]+)\",\"beginCaptures\":{\"1\":{\"name\":\"support.function.beancount\"},\"2\":{\"name\":\"keyword.operator.tag.beancount\"},\"3\":{\"name\":\"entity.name.tag.beancount\"}},\"end\":\"(?=^(\\\\s*$|\\\\S))\",\"name\":\"meta.directive.tag.beancount\",\"patterns\":[{\"include\":\"#comments\"},{\"include\":\"#illegal\"}]},{\"begin\":\"^\\\\s*(include)\\\\s+(\\\".*\\\")\",\"beginCaptures\":{\"1\":{\"name\":\"support.function.beancount\"},\"2\":{\"name\":\"string.quoted.double.beancount\"}},\"end\":\"(?=^(\\\\s*$|\\\\S))\",\"name\":\"meta.directive.include.beancount\",\"patterns\":[{\"include\":\"#comments\"},{\"include\":\"#illegal\"}]},{\"begin\":\"^\\\\s*(option)\\\\s+(\\\".*\\\")\\\\s+(\\\".*\\\")\",\"beginCaptures\":{\"1\":{\"name\":\"support.function.beancount\"},\"2\":{\"name\":\"support.variable.beancount\"},\"3\":{\"name\":\"string.quoted.double.beancount\"}},\"end\":\"(?=^(\\\\s*$|\\\\S))\",\"name\":\"meta.directive.option.beancount\",\"patterns\":[{\"include\":\"#comments\"},{\"include\":\"#illegal\"}]},{\"begin\":\"^\\\\s*(plugin)\\\\s*(\\\"(.*?)\\\")\\\\s*(\\\".*?\\\")?\",\"beginCaptures\":{\"1\":{\"name\":\"support.function.beancount\"},\"2\":{\"name\":\"string.quoted.double.beancount\"},\"3\":{\"name\":\"entity.name.function.beancount\"},\"4\":{\"name\":\"string.quoted.double.beancount\"}},\"end\":\"(?=^(\\\\s*$|\\\\S))\",\"name\":\"keyword.operator.directive.beancount\",\"patterns\":[{\"include\":\"#comments\"},{\"include\":\"#illegal\"}]},{\"begin\":\"([0-9]{4})([-/|])([0-9]{2})([-/|])([0-9]{2})\\\\s+(open|close|pad)\\\\b\",\"beginCaptures\":{\"1\":{\"name\":\"constant.numeric.date.year.beancount\"},\"2\":{\"name\":\"punctuation.separator.beancount\"},\"3\":{\"name\":\"constant.numeric.date.month.beancount\"},\"4\":{\"name\":\"punctuation.separator.beancount\"},\"5\":{\"name\":\"constant.numeric.date.day.beancount\"},\"6\":{\"name\":\"support.function.beancount\"}},\"end\":\"(?=^(\\\\s*$|\\\\S))\",\"name\":\"meta.directive.dated.beancount\",\"patterns\":[{\"include\":\"#comments\"},{\"include\":\"#meta\"},{\"include\":\"#account\"},{\"include\":\"#commodity\"},{\"match\":\",\",\"name\":\"punctuation.separator.beancount\"},{\"include\":\"#illegal\"}]},{\"begin\":\"([0-9]{4})([-/|])([0-9]{2})([-/|])([0-9]{2})\\\\s+(custom)\\\\b\",\"beginCaptures\":{\"1\":{\"name\":\"constant.numeric.date.year.beancount\"},\"2\":{\"name\":\"punctuation.separator.beancount\"},\"3\":{\"name\":\"constant.numeric.date.month.beancount\"},\"4\":{\"name\":\"punctuation.separator.beancount\"},\"5\":{\"name\":\"constant.numeric.date.day.beancount\"},\"6\":{\"name\":\"support.function.beancount\"}},\"end\":\"(?=^(\\\\s*$|\\\\S))\",\"name\":\"meta.directive.dated.beancount\",\"patterns\":[{\"include\":\"#comments\"},{\"include\":\"#meta\"},{\"include\":\"#string\"},{\"include\":\"#bool\"},{\"include\":\"#amount\"},{\"include\":\"#number\"},{\"include\":\"#date\"},{\"include\":\"#account\"},{\"include\":\"#illegal\"}]},{\"begin\":\"([0-9]{4})([-/|])([0-9]{2})([-/|])([0-9]{2})\\\\s(event)\",\"beginCaptures\":{\"1\":{\"name\":\"constant.numeric.date.year.beancount\"},\"2\":{\"name\":\"punctuation.separator.beancount\"},\"3\":{\"name\":\"constant.numeric.date.month.beancount\"},\"4\":{\"name\":\"punctuation.separator.beancount\"},\"5\":{\"name\":\"constant.numeric.date.day.beancount\"},\"6\":{\"name\":\"support.function.directive.beancount\"}},\"end\":\"(?=^(\\\\s*$|\\\\S))\",\"name\":\"meta.directive.dated.beancount\",\"patterns\":[{\"include\":\"#comments\"},{\"include\":\"#meta\"},{\"include\":\"#string\"},{\"include\":\"#illegal\"}]},{\"begin\":\"([0-9]{4})([-/|])([0-9]{2})([-/|])([0-9]{2})\\\\s(commodity)\",\"beginCaptures\":{\"1\":{\"name\":\"constant.numeric.date.year.beancount\"},\"2\":{\"name\":\"punctuation.separator.beancount\"},\"3\":{\"name\":\"constant.numeric.date.month.beancount\"},\"4\":{\"name\":\"punctuation.separator.beancount\"},\"5\":{\"name\":\"constant.numeric.date.day.beancount\"},\"6\":{\"name\":\"support.function.directive.beancount\"}},\"end\":\"(?=^(\\\\s*$|\\\\S))\",\"name\":\"meta.directive.dated.beancount\",\"patterns\":[{\"include\":\"#comments\"},{\"include\":\"#meta\"},{\"include\":\"#commodity\"},{\"include\":\"#illegal\"}]},{\"begin\":\"([0-9]{4})([-/|])([0-9]{2})([-/|])([0-9]{2})\\\\s(note|document)\",\"beginCaptures\":{\"1\":{\"name\":\"constant.numeric.date.year.beancount\"},\"2\":{\"name\":\"punctuation.separator.beancount\"},\"3\":{\"name\":\"constant.numeric.date.month.beancount\"},\"4\":{\"name\":\"punctuation.separator.beancount\"},\"5\":{\"name\":\"constant.numeric.date.day.beancount\"},\"6\":{\"name\":\"support.function.directive.beancount\"}},\"end\":\"(?=^(\\\\s*$|\\\\S))\",\"name\":\"meta.directive.dated.beancount\",\"patterns\":[{\"include\":\"#comments\"},{\"include\":\"#meta\"},{\"include\":\"#account\"},{\"include\":\"#string\"},{\"include\":\"#illegal\"}]},{\"begin\":\"([0-9]{4})([-/|])([0-9]{2})([-/|])([0-9]{2})\\\\s+(query)\\\\s+(\\\"(?:[^\\\"\\\\\\\\]|\\\\\\\\.)*\\\")\\\\s+(\\\")\",\"beginCaptures\":{\"1\":{\"name\":\"constant.numeric.date.year.beancount\"},\"2\":{\"name\":\"punctuation.separator.beancount\"},\"3\":{\"name\":\"constant.numeric.date.month.beancount\"},\"4\":{\"name\":\"punctuation.separator.beancount\"},\"5\":{\"name\":\"constant.numeric.date.day.beancount\"},\"6\":{\"name\":\"support.function.directive.beancount\"},\"7\":{\"name\":\"string.quoted.double.beancount\"},\"8\":{\"name\":\"punctuation.definition.string.begin.beancount\"}},\"end\":\"(\\\")\",\"endCaptures\":{\"1\":{\"name\":\"punctuation.definition.string.end.beancount\"}},\"name\":\"meta.directive.query.beancount\",\"patterns\":[{\"include\":\"#comments\"},{\"begin\":\"/\\\\*\",\"end\":\"\\\\*/\",\"name\":\"comment.block.bql\"},{\"match\":\"\\\\b[0-9]{4}-[0-9]{2}-[0-9]{2}\\\\b\",\"name\":\"constant.numeric.date.bql\"},{\"match\":\"\\\\b(?i:SELECT|FROM|WHERE|GROUP|ORDER|HAVING|LIMIT|PIVOT|AND|OR|NOT|IN|IS|BETWEEN|AS|DISTINCT|ASC|DESC|TRUE|FALSE|NULL|CREATE|TABLE|USING|INSERT|INTO|BALANCES|JOURNAL|PRINT|BY)\\\\b\",\"name\":\"keyword.control.bql\"},{\"match\":\"\\\\b(?i:abs|bool|int|decimal|str|date|year|month|day|yearmonth|quarter|weekday|today|root|parent|leaf|grepn??|subst|upper|lower|maxwidth|substr|splitcomp|length|repr|round|safediv|neg|open_date|close_date|open_meta|meta|entry_meta|any_meta|currency_meta|commodity_meta|account_sortkey|has_account|units|cost|value|getprice|number|currency|commodity|findfirst|joinstr|only|empty|filter_currency|convert|parse_date|date_diff|date_add|date_trunc|date_part|interval|date_bin|getitem|possign|sum|count|first|last|min|max)\\\\b(?=\\\\s*\\\\()\",\"name\":\"support.function.bql\"},{\"match\":\"\\\\b(?i:id|type|filename|lineno|location|date|year|month|day|flag|payee|narration|description|tags|links|meta|accounts?|other_accounts|posting_flag|number|currency|cost_number|cost_currency|cost_date|cost_label|position|price|weight|balance|entry)\\\\b\",\"name\":\"variable.other.column.bql\"},{\"begin\":\"\\\"\",\"end\":\"\\\"\",\"name\":\"string.quoted.double.bql\",\"patterns\":[{\"match\":\"\\\"\\\"\",\"name\":\"constant.character.escape.bql\"}]},{\"begin\":\"'\",\"end\":\"'\",\"name\":\"string.quoted.single.bql\",\"patterns\":[{\"match\":\"''\",\"name\":\"constant.character.escape.bql\"}]},{\"match\":\"\\\\b\\\\d+(\\\\.\\\\d+)?\\\\b\",\"name\":\"constant.numeric.bql\"},{\"match\":\"<=|>=|!=|[<=>]|\\\\?~|!~|~\",\"name\":\"keyword.operator.comparison.bql\"},{\"match\":\"[-%*+/]\",\"name\":\"keyword.operator.arithmetic.bql\"},{\"match\":\"[(),]\",\"name\":\"punctuation.bql\"}]},{\"begin\":\"([0-9]{4})([-/|])([0-9]{2})([-/|])([0-9]{2})\\\\s(price)\",\"beginCaptures\":{\"1\":{\"name\":\"constant.numeric.date.year.beancount\"},\"2\":{\"name\":\"punctuation.separator.beancount\"},\"3\":{\"name\":\"constant.numeric.date.month.beancount\"},\"4\":{\"name\":\"punctuation.separator.beancount\"},\"5\":{\"name\":\"constant.numeric.date.day.beancount\"},\"6\":{\"name\":\"support.function.directive.beancount\"}},\"end\":\"(?=^(\\\\s*$|\\\\S))\",\"name\":\"meta.directive.dated.beancount\",\"patterns\":[{\"include\":\"#comments\"},{\"include\":\"#meta\"},{\"include\":\"#commodity\"},{\"include\":\"#amount\"},{\"include\":\"#illegal\"}]},{\"begin\":\"([0-9]{4})([-/|])([0-9]{2})([-/|])([0-9]{2})\\\\s(balance)\",\"beginCaptures\":{\"1\":{\"name\":\"constant.numeric.date.year.beancount\"},\"2\":{\"name\":\"punctuation.separator.beancount\"},\"3\":{\"name\":\"constant.numeric.date.month.beancount\"},\"4\":{\"name\":\"punctuation.separator.beancount\"},\"5\":{\"name\":\"constant.numeric.date.day.beancount\"},\"6\":{\"name\":\"support.function.directive.beancount\"}},\"end\":\"(?=^(\\\\s*$|\\\\S))\",\"name\":\"meta.directive.dated.beancount\",\"patterns\":[{\"include\":\"#comments\"},{\"include\":\"#meta\"},{\"include\":\"#account\"},{\"include\":\"#amount\"},{\"include\":\"#illegal\"}]},{\"begin\":\"([0-9]{4})([-/|])([0-9]{2})([-/|])([0-9]{2})\\\\s*(txn|[!#%\\\\&*?CMPR-U])\\\\s*(\\\".*?\\\")?\\\\s*(\\\".*?\\\")?\",\"beginCaptures\":{\"1\":{\"name\":\"constant.numeric.date.year.beancount\"},\"2\":{\"name\":\"punctuation.separator.beancount\"},\"3\":{\"name\":\"constant.numeric.date.month.beancount\"},\"4\":{\"name\":\"punctuation.separator.beancount\"},\"5\":{\"name\":\"constant.numeric.date.day.beancount\"},\"6\":{\"name\":\"support.function.directive.beancount\",\"patterns\":[{\"match\":\"txn|\\\\*\",\"name\":\"support.function.directive.txn.completed.beancount\"},{\"match\":\"!\",\"name\":\"support.function.directive.txn.incomplete.beancount\"},{\"match\":\"P\",\"name\":\"support.function.directive.txn.padding.beancount\"}]},\"7\":{\"name\":\"string.quoted.tiers.beancount\"},\"8\":{\"name\":\"string.quoted.narration.beancount\"}},\"end\":\"(?=^(\\\\s*$|\\\\S))\",\"name\":\"meta.directive.transaction.beancount\",\"patterns\":[{\"include\":\"#comments\"},{\"include\":\"#posting\"},{\"include\":\"#meta\"},{\"include\":\"#tag\"},{\"include\":\"#link\"},{\"include\":\"#illegal\"}]}],\"repository\":{\"account\":{\"begin\":\"([A-Z][a-z]+)(:)\",\"beginCaptures\":{\"1\":{\"name\":\"variable.language.beancount\"},\"2\":{\"name\":\"punctuation.separator.beancount\"}},\"end\":\"\\\\s\",\"name\":\"meta.account.beancount\",\"patterns\":[{\"begin\":\"(\\\\S+)(:?)\",\"beginCaptures\":{\"1\":{\"name\":\"variable.other.account.beancount\"},\"2\":{\"name\":\"punctuation.separator.beancount\"}},\"end\":\"(:?)|(\\\\s)\",\"patterns\":[{\"include\":\"$self\"},{\"include\":\"#illegal\"}]}]},\"amount\":{\"captures\":{\"1\":{\"name\":\"keyword.operator.modifier.beancount\"},\"2\":{\"name\":\"constant.numeric.currency.beancount\"},\"3\":{\"name\":\"entity.name.type.commodity.beancount\"}},\"match\":\"([-+|]?)(\\\\d+(?:,\\\\d{3})*(?:\\\\.\\\\d*)?)\\\\s*([A-Z][-'.0-9A-Z_]{0,22}[0-9A-Z])\",\"name\":\"meta.amount.beancount\"},\"bool\":{\"captures\":{\"0\":{\"name\":\"constant.language.bool.beancount\"},\"2\":{\"name\":\"constant.numeric.currency.beancount\"},\"3\":{\"name\":\"entity.name.type.commodity.beancount\"}},\"match\":\"TRUE|FALSE\"},\"comments\":{\"captures\":{\"1\":{\"name\":\"comment.line.beancount\"}},\"match\":\"(;.*)$\"},\"commodity\":{\"match\":\"([A-Z][-'.0-9A-Z_]{0,22}[0-9A-Z])\",\"name\":\"entity.name.type.commodity.beancount\"},\"cost\":{\"begin\":\"\\\\{\\\\{?\",\"beginCaptures\":{\"0\":{\"name\":\"keyword.operator.assignment.beancount\"}},\"end\":\"}}?\",\"endCaptures\":{\"0\":{\"name\":\"keyword.operator.assignment.beancount\"}},\"name\":\"meta.cost.beancount\",\"patterns\":[{\"include\":\"#amount\"},{\"include\":\"#date\"},{\"match\":\",\",\"name\":\"punctuation.separator.beancount\"},{\"include\":\"#illegal\"}]},\"date\":{\"captures\":{\"1\":{\"name\":\"constant.numeric.date.year.beancount\"},\"2\":{\"name\":\"punctuation.separator.beancount\"},\"3\":{\"name\":\"constant.numeric.date.month.beancount\"},\"4\":{\"name\":\"punctuation.separator.beancount\"},\"5\":{\"name\":\"constant.numeric.date.day.beancount\"}},\"match\":\"([0-9]{4})([-/|])([0-9]{2})([-/|])([0-9]{2})\",\"name\":\"meta.date.beancount\"},\"flag\":{\"match\":\"(?<=\\\\s)([!#%\\\\&*?CMPR-U])(?=\\\\s+)\",\"name\":\"keyword.other.beancount\"},\"illegal\":{\"match\":\"\\\\S\",\"name\":\"invalid.illegal.unrecognized.beancount\"},\"link\":{\"captures\":{\"1\":{\"name\":\"keyword.operator.link.beancount\"},\"2\":{\"name\":\"markup.underline.link.beancount\"}},\"match\":\"(\\\\^)([\\\\--9A-Z_a-z]+)\"},\"meta\":{\"begin\":\"^\\\\s*([a-z][-0-9A-Z_a-z]+)(:)\",\"beginCaptures\":{\"1\":{\"name\":\"keyword.operator.directive.beancount\"},\"2\":{\"name\":\"punctuation.separator.beancount\"}},\"end\":\"\\\\n\",\"name\":\"meta.meta.beancount\",\"patterns\":[{\"include\":\"#string\"},{\"include\":\"#account\"},{\"include\":\"#bool\"},{\"include\":\"#commodity\"},{\"include\":\"#date\"},{\"include\":\"#tag\"},{\"include\":\"#amount\"},{\"include\":\"#number\"},{\"include\":\"#comments\"},{\"include\":\"#illegal\"}]},\"number\":{\"captures\":{\"1\":{\"name\":\"keyword.operator.modifier.beancount\"},\"2\":{\"name\":\"constant.numeric.currency.beancount\"}},\"match\":\"([-+|]?)(\\\\d+(?:,\\\\d{3})*(?:\\\\.\\\\d*)?)\"},\"posting\":{\"begin\":\"^\\\\s+(?=([!A-Z]))\",\"end\":\"(?=^(\\\\s*$|\\\\S|\\\\s*[A-Z]))\",\"name\":\"meta.posting.beancount\",\"patterns\":[{\"include\":\"#meta\"},{\"include\":\"#comments\"},{\"include\":\"#flag\"},{\"include\":\"#account\"},{\"include\":\"#amount\"},{\"include\":\"#cost\"},{\"include\":\"#date\"},{\"include\":\"#price\"},{\"include\":\"#illegal\"}]},\"price\":{\"begin\":\"@@?\",\"beginCaptures\":{\"0\":{\"name\":\"keyword.operator.assignment.beancount\"}},\"end\":\"(?=([\\\\n;]))\",\"name\":\"meta.price.beancount\",\"patterns\":[{\"include\":\"#amount\"},{\"include\":\"#illegal\"}]},\"string\":{\"begin\":\"\\\"\",\"end\":\"\\\"\",\"name\":\"string.quoted.double.beancount\",\"patterns\":[{\"match\":\"\\\\\\\\.\",\"name\":\"constant.character.escape.beancount\"}]},\"tag\":{\"captures\":{\"1\":{\"name\":\"keyword.operator.tag.beancount\"},\"2\":{\"name\":\"entity.name.tag.beancount\"}},\"match\":\"(#)([\\\\--9A-Z_a-z]+)\"}},\"scopeName\":\"text.beancount\"}"))
 
 export default [
 lang

package/node_modules/@shikijs/langs/dist/coq.mjs

@@ -1,4 +1,4 @@
-const lang = Object.freeze(JSON.parse("{\"displayName\":\"Rocq\",\"fileTypes\":[\"v\"],\"name\":\"coq\",\"patterns\":[{\"match\":\"\\\\b(From|Require|Import|Export|Local|Global|Include)\\\\b\",\"name\":\"keyword.control.import.rocq\"},{\"match\":\"\\\\b((Open|Close|Delimit|Undelimit|Bind)\\\\s+Scope)\\\\b\",\"name\":\"keyword.control.import.rocq\"},{\"captures\":{\"1\":{\"name\":\"keyword.source.rocq\"},\"2\":{\"name\":\"entity.name.function.theorem.rocq\"}},\"match\":\"\\\\b(Theorem|Lemma|Remark|Fact|Corollary|Property|Proposition)\\\\s+(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)\"},{\"match\":\"\\\\bGoal\\\\b\",\"name\":\"keyword.source.rocq\"},{\"captures\":{\"1\":{\"name\":\"keyword.source.rocq\"},\"2\":{\"name\":\"keyword.source.rocq\"},\"3\":{\"name\":\"entity.name.assumption.rocq\"}},\"match\":\"\\\\b(Parameters?|Axioms?|Conjectures?|Variables?|Hypothesis|Hypotheses)(\\\\s+Inline)?\\\\b\\\\s*\\\\(?\\\\s*(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)\"},{\"captures\":{\"1\":{\"name\":\"keyword.source.rocq\"},\"3\":{\"name\":\"entity.name.assumption.rocq\"}},\"match\":\"\\\\b(Context)\\\\b\\\\s*`?\\\\s*([({])?\\\\s*(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)\"},{\"captures\":{\"1\":{\"name\":\"keyword.source.rocq\"},\"2\":{\"name\":\"keyword.source.rocq\"},\"3\":{\"name\":\"entity.name.function.rocq\"}},\"match\":\"(\\\\b(?:Program|Local)\\\\s+)?\\\\b(Definition|Fixpoint|CoFixpoint|Function|Example|Let(?:(?:\\\\s+|\\\\s+Co)Fixpoint)?|Instance|Equations|Equations?)\\\\s+(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)\"},{\"captures\":{\"1\":{\"name\":\"keyword.source.rocq\"}},\"match\":\"\\\\b((Show\\\\s+)?Obligation\\\\s+Tactic|Obligations\\\\s+of|Obligation|Next\\\\s+Obligation(\\\\s+of)?|Solve\\\\s+Obligations(\\\\s+of)?|Solve\\\\s+All\\\\s+Obligations|Admit\\\\s+Obligations(\\\\s+of)?|Instance)\\\\b\"},{\"captures\":{\"1\":{\"name\":\"keyword.source.rocq\"},\"3\":{\"name\":\"entity.name.type.rocq\"}},\"match\":\"\\\\b(CoInductive|Inductive|Variant|Record|Structure|Class)\\\\s+(>\\\\s*)?(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)\"},{\"captures\":{\"1\":{\"name\":\"keyword.source.rocq\"},\"2\":{\"name\":\"entity.name.function.ltac\"}},\"match\":\"\\\\b(Ltac)\\\\s+(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)\"},{\"captures\":{\"1\":{\"name\":\"keyword.source.rocq\"},\"2\":{\"name\":\"keyword.source.rocq\"},\"3\":{\"name\":\"entity.name.function.ltac\"}},\"match\":\"\\\\b(Ltac2)\\\\s+(mutable\\\\s+)?(rec\\\\s+)?(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)\"},{\"match\":\"\\\\b(Hint(\\\\s+Mode)?|Create\\\\s+HintDb|Constructors|Resolve|Rewrite|Ltac2??|Implicit(\\\\s+Types)?|Set|Unset|Remove\\\\s+Printing|Arguments|((Tactic|Reserved)\\\\s+)?Notation|Infix|Section|Module(\\\\s+Type)?|End|Check|Print(\\\\s+All)?|Eval|Compute|Search|Universe|Coercions|Generalizable(\\\\s+(All|Variable))?|Existing(\\\\s+(Class|Instance))?|Canonical|About|Locate|Collection|Typeclasses\\\\s+(Opaque|Transparent))\\\\b\",\"name\":\"keyword.source.rocq\"},{\"match\":\"\\\\b(Proof|Qed|Defined|Save|Abort(\\\\s+All)?|Undo(\\\\s+To)?|Restart|Focus|Unfocus|Unfocused|Show\\\\s+Proof|Show\\\\s+Existentials|Show|Unshelve)\\\\b\",\"name\":\"keyword.source.rocq\"},{\"match\":\"\\\\b(Quit|Drop|Time|Redirect|Timeout|Fail)\\\\b\",\"name\":\"keyword.debug.rocq\"},{\"match\":\"\\\\b(admit|Admitted)\\\\b\",\"name\":\"invalid.illegal.admit.rocq\"},{\"match\":\"[-*+:<=>{|}¬→↔∧∨≠≤≥]\",\"name\":\"keyword.operator.rocq\"},{\"match\":\"\\\\b(forall|exists|Type|Set|Prop|nat|bool|option|list|unit|sum|prod|comparison|Empty_set)\\\\b|[∀∃]\",\"name\":\"support.type.rocq\"},{\"match\":\"\\\\b(try|repeat|rew|progress|fresh|solve|now|first|tryif|at|once|do|only)\\\\b\",\"name\":\"keyword.control.ltac\"},{\"match\":\"\\\\b(into|with|eqn|by|move|as|using)\\\\b\",\"name\":\"keyword.control.ltac\"},{\"match\":\"\\\\b(match|lazymatch|multimatch|match!|lazy_match!|multi_match!|fun|with|return|end|let|in|if|then|else|fix|for|where|and)\\\\b|λ\",\"name\":\"keyword.control.gallina\"},{\"match\":\"\\\\b(intros??|revert|induction|destruct|auto|eauto|tauto|eassumption|apply|eapply|assumption|constructor|econstructor|reflexivity|inversion|injection|assert|split|esplit|omega|fold|unfold|specialize|rewrite|erewrite|change|symmetry|refine|simpl|intuition|firstorder|generalize|idtac|exists??|eexists|elim|eelim|rename|subst|congruence|trivial|left|right|set|pose|discriminate|clear|clearbody|contradict|contradiction|exact|dependent|remember|case|easy|unshelve|pattern|transitivity|etransitivity|f_equal|exfalso|replace|abstract|cycle|swap|revgoals|shelve|unshelve)\\\\b\",\"name\":\"support.function.builtin.ltac\"},{\"applyEndPatternLast\":1,\"begin\":\"\\\\(\\\\*\\\\*(?!\\\\*)\",\"end\":\"\\\\*\\\\)\",\"name\":\"comment.doc.rocq\",\"patterns\":[{\"include\":\"#doc_comment\"},{\"include\":\"#block_comment\"},{\"include\":\"#block_double_quoted_string\"}]},{\"applyEndPatternLast\":1,\"begin\":\"\\\\(\\\\*(?!#)\",\"end\":\"\\\\*\\\\)\",\"name\":\"comment.block.rocq\",\"patterns\":[{\"include\":\"#block_comment\"},{\"include\":\"#block_double_quoted_string\"}]},{\"match\":\"\\\\b((0([Xx])\\\\h+)|([0-9]+(\\\\.[0-9]+)?))\\\\b\",\"name\":\"constant.numeric.gallina\"},{\"match\":\"\\\\b(True|False|tt|false|true|Some|None|nil|cons|pair|inl|inr|[OS]|Eq|Lt|Gt|id|ex|all|unique)\\\\b\",\"name\":\"constant.language.constructor.gallina\"},{\"match\":\"\\\\b_\\\\b\",\"name\":\"constant.language.wildcard.rocq\"},{\"begin\":\"\\\"\",\"beginCaptures\":{\"0\":{\"name\":\"punctuation.definition.string.begin.rocq\"}},\"end\":\"\\\"\",\"endCaptures\":{\"0\":{\"name\":\"punctuation.definition.string.end.rocq\"}},\"name\":\"string.quoted.double.rocq\"}],\"repository\":{\"block_comment\":{\"applyEndPatternLast\":1,\"begin\":\"\\\\(\\\\*(?!#)\",\"end\":\"\\\\*\\\\)\",\"name\":\"comment.block.rocq\",\"patterns\":[{\"include\":\"#block_comment\"},{\"include\":\"#block_double_quoted_string\"}]},\"block_double_quoted_string\":{\"applyEndPatternLast\":1,\"begin\":\"\\\"\",\"beginCaptures\":{\"0\":{\"name\":\"punctuation.definition.string.begin.rocq\"}},\"end\":\"\\\"\",\"endCaptures\":{\"0\":{\"name\":\"punctuation.definition.string.end.rocq\"}},\"name\":\"string.quoted.double.rocq\"},\"doc_comment\":{\"applyEndPatternLast\":1,\"begin\":\"\\\\(\\\\*\\\\*(?!\\\\*)\",\"end\":\"\\\\*\\\\)\",\"name\":\"comment.doc.rocq\",\"patterns\":[{\"include\":\"#doc_comment\"},{\"include\":\"#block_comment\"},{\"include\":\"#block_double_quoted_string\"}]}},\"scopeName\":\"source.rocq\"}"))
+const lang = Object.freeze(JSON.parse("{\"displayName\":\"Rocq\",\"fileTypes\":[\"v\"],\"name\":\"coq\",\"patterns\":[{\"match\":\"\\\\b(From|Require|Import|Export|Local|Global|Include)\\\\b\",\"name\":\"keyword.control.import.rocq\"},{\"match\":\"\\\\b((Open|Close|Delimit|Undelimit|Bind|Declare)\\\\s+Scope)\\\\b\",\"name\":\"keyword.control.import.rocq\"},{\"captures\":{\"1\":{\"name\":\"keyword.source.rocq\"},\"2\":{\"name\":\"entity.name.function.theorem.rocq\"}},\"match\":\"\\\\b(Theorem|Lemma|Remark|Fact|Corollary|Property|Proposition)\\\\s+(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)\"},{\"match\":\"\\\\bGoal\\\\b\",\"name\":\"keyword.source.rocq\"},{\"captures\":{\"1\":{\"name\":\"keyword.source.rocq\"},\"2\":{\"name\":\"keyword.source.rocq\"},\"3\":{\"name\":\"entity.name.assumption.rocq\"}},\"match\":\"\\\\b(Parameters?|Axioms?|Conjectures?|Variables?|Hypothesis|Hypotheses)(\\\\s+Inline)?\\\\b\\\\s*\\\\(?\\\\s*(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)\"},{\"captures\":{\"1\":{\"name\":\"keyword.source.rocq\"},\"3\":{\"name\":\"entity.name.assumption.rocq\"}},\"match\":\"\\\\b(Context)\\\\b\\\\s*`?\\\\s*([({])?\\\\s*(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)\"},{\"captures\":{\"1\":{\"name\":\"keyword.source.rocq\"},\"2\":{\"name\":\"keyword.source.rocq\"},\"3\":{\"name\":\"entity.name.function.rocq\"}},\"match\":\"(\\\\b(?:Program|Local)\\\\s+)?\\\\b(Definition|Fixpoint|CoFixpoint|Function|Example|Let(?:(?:\\\\s+|\\\\s+Co)Fixpoint)?|Instance|Equations|Equations?)\\\\s+(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)\"},{\"captures\":{\"1\":{\"name\":\"keyword.source.rocq\"}},\"match\":\"\\\\b((Show\\\\s+)?Obligation\\\\s+Tactic|Obligations\\\\s+of|Obligation|Next\\\\s+Obligation(\\\\s+of)?|Solve\\\\s+Obligations(\\\\s+of)?|Solve\\\\s+All\\\\s+Obligations|Admit\\\\s+Obligations(\\\\s+of)?|Instance)\\\\b\"},{\"captures\":{\"1\":{\"name\":\"keyword.source.rocq\"},\"3\":{\"name\":\"entity.name.type.rocq\"}},\"match\":\"\\\\b(CoInductive|Inductive|Variant|Record|Structure|Class)\\\\s+(>\\\\s*)?(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)\"},{\"captures\":{\"1\":{\"name\":\"keyword.source.rocq\"},\"2\":{\"name\":\"entity.name.function.ltac\"}},\"match\":\"\\\\b(Ltac)\\\\s+(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)\"},{\"captures\":{\"1\":{\"name\":\"keyword.source.rocq\"},\"2\":{\"name\":\"keyword.source.rocq\"},\"3\":{\"name\":\"entity.name.function.ltac\"}},\"match\":\"\\\\b(Ltac2)\\\\s+(mutable\\\\s+)?(rec\\\\s+)?(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)\"},{\"match\":\"\\\\b(Hint(\\\\s+Mode)?|Create\\\\s+HintDb|Constructors|Resolve|Rewrite|Ltac2??|Implicit(\\\\s+Types?)?|Set|Unset|Remove\\\\s+Printing|Arguments|((Tactic|Reserved)\\\\s+)?Notation|Infix|Section|Module(\\\\s+Type)?|End|Check|Print(\\\\s+All)?|Eval|Compute|Search|Universe|Coercions|Generalizable(\\\\s+(All|Variable))?|Existing(\\\\s+(Class|Instance))?|Canonical|About|Locate|Collection|Typeclasses\\\\s+(Opaque|Transparent))\\\\b\",\"name\":\"keyword.source.rocq\"},{\"match\":\"\\\\b(Proof|Qed|Defined|Save|Abort(\\\\s+All)?|Undo(\\\\s+To)?|Restart|Focus|Unfocus|Unfocused|Show\\\\s+Proof|Show\\\\s+Existentials|Show|Unshelve)\\\\b\",\"name\":\"keyword.source.rocq\"},{\"match\":\"\\\\b(Quit|Drop|Time|Redirect|Timeout|Fail)\\\\b\",\"name\":\"keyword.debug.rocq\"},{\"match\":\"\\\\b(admit|Admitted)\\\\b\",\"name\":\"invalid.illegal.admit.rocq\"},{\"match\":\"[-*+:<=>{|}¬→↔∧∨≠≤≥]\",\"name\":\"keyword.operator.rocq\"},{\"match\":\"\\\\b(forall|exists|Type|Set|Prop|nat|bool|option|list|unit|sum|prod|comparison|Empty_set)\\\\b|[∀∃]\",\"name\":\"support.type.rocq\"},{\"match\":\"\\\\b(try|repeat|rew|progress|fresh|solve|now|first|tryif|at|once|do|only)\\\\b\",\"name\":\"keyword.control.ltac\"},{\"match\":\"\\\\b(into|with|eqn|by|move|as|using)\\\\b\",\"name\":\"keyword.control.ltac\"},{\"match\":\"\\\\b(match|lazymatch|multimatch|match!|lazy_match!|multi_match!|fun|with|return|end|let|in|if|then|else|fix|for|where|and)\\\\b|λ\",\"name\":\"keyword.control.gallina\"},{\"match\":\"\\\\b(intros??|revert|induction|destruct|auto|eauto|tauto|eassumption|apply|eapply|assumption|constructor|econstructor|reflexivity|inversion|injection|assert|split|esplit|omega|fold|unfold|specialize|rewrite|erewrite|change|symmetry|refine|simpl|intuition|firstorder|generalize|idtac|exists??|eexists|elim|eelim|rename|subst|congruence|trivial|left|right|set|pose|discriminate|clear|clearbody|contradict|contradiction|exact|dependent|remember|case|easy|unshelve|pattern|transitivity|etransitivity|f_equal|exfalso|replace|abstract|cycle|swap|revgoals|shelve|unshelve)\\\\b\",\"name\":\"support.function.builtin.ltac\"},{\"applyEndPatternLast\":1,\"begin\":\"\\\\(\\\\*\\\\*(?!\\\\*)\",\"end\":\"\\\\*\\\\)\",\"name\":\"comment.doc.rocq\",\"patterns\":[{\"include\":\"#doc_comment\"},{\"include\":\"#block_comment\"},{\"include\":\"#block_double_quoted_string\"}]},{\"applyEndPatternLast\":1,\"begin\":\"\\\\(\\\\*(?!#)\",\"end\":\"\\\\*\\\\)\",\"name\":\"comment.block.rocq\",\"patterns\":[{\"include\":\"#block_comment\"},{\"include\":\"#block_double_quoted_string\"}]},{\"match\":\"\\\\b((0([Xx])\\\\h+)|([0-9]+(\\\\.[0-9]+)?))\\\\b\",\"name\":\"constant.numeric.gallina\"},{\"match\":\"\\\\b(True|False|tt|false|true|Some|None|nil|cons|pair|inl|inr|[OS]|Eq|Lt|Gt|id|ex|all|unique)\\\\b\",\"name\":\"constant.language.constructor.gallina\"},{\"match\":\"\\\\b_\\\\b\",\"name\":\"constant.language.wildcard.rocq\"},{\"begin\":\"\\\"\",\"beginCaptures\":{\"0\":{\"name\":\"punctuation.definition.string.begin.rocq\"}},\"end\":\"\\\"\",\"endCaptures\":{\"0\":{\"name\":\"punctuation.definition.string.end.rocq\"}},\"name\":\"string.quoted.double.rocq\"}],\"repository\":{\"block_comment\":{\"applyEndPatternLast\":1,\"begin\":\"\\\\(\\\\*(?!#)\",\"end\":\"\\\\*\\\\)\",\"name\":\"comment.block.rocq\",\"patterns\":[{\"include\":\"#block_comment\"},{\"include\":\"#block_double_quoted_string\"}]},\"block_double_quoted_string\":{\"applyEndPatternLast\":1,\"begin\":\"\\\"\",\"beginCaptures\":{\"0\":{\"name\":\"punctuation.definition.string.begin.rocq\"}},\"end\":\"\\\"\",\"endCaptures\":{\"0\":{\"name\":\"punctuation.definition.string.end.rocq\"}},\"name\":\"string.quoted.double.rocq\"},\"doc_comment\":{\"applyEndPatternLast\":1,\"begin\":\"\\\\(\\\\*\\\\*(?!\\\\*)\",\"end\":\"\\\\*\\\\)\",\"name\":\"comment.doc.rocq\",\"patterns\":[{\"include\":\"#doc_comment\"},{\"include\":\"#block_comment\"},{\"include\":\"#block_double_quoted_string\"}]}},\"scopeName\":\"source.rocq\"}"))
 
 export default [
 lang