Closed kaby76 closed 11 months ago
The latest release of the plugin is out of date with the latest release of Antlr. It's been 3 months since the release (then, May 21 2023; now Aug 22 2023).
Note, the version of what tool to use should be abstracted from the plugin.
I just published version 1.21, which ships ANTLR 4.13.1. The plugin can't work without ANTLR, so we have no choice but to bundle it inside the plugin.
The latest release of the plugin is out of date with the latest release of Antlr. It's been 3 months since the release (then, May 21 2023; now Aug 22 2023).
Note, the version of what tool to use should be abstracted from the plugin.