aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.dir-locals.el1284logplain
-rw-r--r--7792logplain
-rw-r--r--.gitignore962logplain
-rw-r--r--COPYING35147logplain
-rw-r--r--README-hacking.md72512logplain
-rw-r--r--README.md7914logplain
-rw-r--r--paper.tex11686logplain
-rwxr-xr-xproject15860logplain
d---------reproduce70logplain
d---------tex / src30logplain