summaryrefslogtreecommitdiff
path: root/grammars/logic
ModeNameSize
-rw-r--r--Arithm.gf1919logplain
-rw-r--r--ArithmEng.gf1258logplain
-rw-r--r--Logic.gf2708logplain
-rw-r--r--LogicEng.gf2471logplain
-rw-r--r--LogicResEng.gf683logplain