aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore52logplain
-rw-r--r--README.md536logplain
-rw-r--r--format.tex827logplain
-rw-r--r--license.txt1070logplain
-rw-r--r--progress.pdf38581logplain
-rw-r--r--progress.tex570logplain