https://github.com/antlr/grammars-v4
Revision 667ef4a31acc2fb9aa0ce67144791de3bbd321ce authored by Laurent Bovet on 10 March 2024, 23:10:46 UTC, committed by Ivan Kochurkin on 14 March 2024, 11:26:30 UTC
1 parent 49cd03f
Tip revision: 667ef4a31acc2fb9aa0ce67144791de3bbd321ce authored by Laurent Bovet on 10 March 2024, 23:10:46 UTC
[PlSql] DEPRECATE Pragma
[PlSql] DEPRECATE Pragma
Tip revision: 667ef4a
File | Mode | Size |
---|---|---|
commute1.txt | -rw-r--r-- | 20 bytes |
doubleneg.txt | -rw-r--r-- | 9 bytes |
equiv1.txt | -rw-r--r-- | 30 bytes |
modusponens.txt | -rw-r--r-- | 21 bytes |
modustollens.txt | -rw-r--r-- | 22 bytes |
syllogism.txt | -rw-r--r-- | 31 bytes |
taut1.txt | -rw-r--r-- | 12 bytes |
taut2.txt | -rw-r--r-- | 12 bytes |
Computing file changes ...