aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.dir-locals.el1284logplain
-rw-r--r--5403logplain
-rw-r--r--.gitignore1021logplain
-rw-r--r--COPYING35147logplain
-rw-r--r--README-hacking.md53514logplain
-rw-r--r--README.md4380logplain
-rwxr-xr-xconfigure37847logplain
-rwxr-xr-xfor-group3570logplain
-rw-r--r--paper.tex10488logplain
d---------reproduce63logplain
d---------tex69logplain