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.pdf37808logplain
-rw-r--r--progress.tex170logplain