aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.editorconfig220logplain
-rw-r--r--.gitignore91logplain
-rw-r--r--.gitmodules140logplain
d---------Info185logplain
-rw-r--r--Makefile791logplain
d---------Mathe202logplain
-rw-r--r--common.mk1115logplain
d---------latex279logplain
d---------pandoc87logplain
d---------scripts76logplain
d---------templates187logplain