https://github.com/antlr/grammars-v4
Revision 3b26af5ec5cfc28779e609b3f20fc7e6454c51d4 authored by Ken Domino on 15 March 2024, 02:44:56 UTC, committed by GitHub on 15 March 2024, 02:44:56 UTC
* Fix for #4008 Add TypeScript testing. Add "Antlr4ng" TypeScript for future testing , as it is superior to Antlr 4.13.1. Remove grammars that have TypeScript base class code as 4.13.1 does not work with these grammars. * Fix sql/plsql TypeScript target -- does not work for 4.13.1.
1 parent 3433639
Tip revision: 3b26af5ec5cfc28779e609b3f20fc7e6454c51d4 authored by Ken Domino on 15 March 2024, 02:44:56 UTC
[build] Fix for #4008 -- add testing of TypeScript target back (#4010)
[build] Fix for #4008 -- add testing of TypeScript target back (#4010)
Tip revision: 3b26af5
readme.md
# SPASS
Scraped manually from https://webspass.spass-prover.org/help/spass-input-syntax15.pdf
Version 1.5
Ken Domino, March 14, 2022
Computing file changes ...