From 66ae78da6be306a7fd6f0f98fc18a35a41d3c21a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jo=C3=A3o=20Galego?= Date: Fri, 20 Mar 2026 22:22:28 +0000 Subject: [PATCH] Update CHANGES and SUPPORTED_LANGUAGES --- CHANGES.md | 3 ++- SUPPORTED_LANGUAGES.md | 1 + 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/CHANGES.md b/CHANGES.md index b1413c29a5..f2af83ded8 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -14,6 +14,7 @@ New Grammars: - added 3rd party L4 grammar to SUPPORTED_LANGUAGES [Thomas Gorissen][] - added 3rd party Bicep grammar to SUPPORTED_LANGUAGES [Anthony Martin][] - added 3rd party Abc Notation grammar to SUPPORTED_LANGUAGES [NriotHrreion][] +- added 3rd party Why3 grammar to SUPPORTED_LANGUAGES [JGalego][] Core Grammars: @@ -55,7 +56,7 @@ CONTRIBUTORS [te-ing]: https://github.com/te-ing [Anthony Martin]: https://github.com/anthony-c-martin [NriotHrreion]: https://github.com/NriotHrreion - +[JGalego]: https://github.com/JGalego ## Version 11.11.1 diff --git a/SUPPORTED_LANGUAGES.md b/SUPPORTED_LANGUAGES.md index c0a9ae6e58..927f03a2b9 100644 --- a/SUPPORTED_LANGUAGES.md +++ b/SUPPORTED_LANGUAGES.md @@ -261,6 +261,7 @@ The table below shows the full list of languages (and corresponding classes/alia | Vim Script | vim | | | VoltScript | voltscript, vss, lotusscript, lss | [highlightjs-voltscript](https://github.com/HCL-TECH-SOFTWARE/highlightjs-voltscript) | | WGSL | wgsl | [highlightjs-wgsl](https://github.com/highlightjs/highlightjs-wgsl) | +| Why3 | whyml, mlw | [highlightjs-why3](https://github.com/JGalego/highlightjs-why3) | | X# | xsharp, xs, prg | [highlightjs-xsharp](https://github.com/InfomindsAg/highlightjs-xsharp) | | X++ | axapta, x++ | | | x86 Assembly | x86asm | |