summaryrefslogtreecommitdiff
path: root/grammars/logic
ModeNameSize
-rw-r--r--Arithm.gf1916logplain
-rw-r--r--ArithmEng.gf1282logplain
-rw-r--r--ArithmFre.gf1919logplain
-rw-r--r--Logic.gf2967logplain
-rw-r--r--LogicEng.gf2517logplain
-rw-r--r--LogicFre.gf3484logplain
-rw-r--r--LogicResEng.gf683logplain
-rw-r--r--ResFre.gf2657logplain