aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.dir-locals.el1289logplain
-rw-r--r--7874logplain
-rw-r--r--.gitignore994logplain
-rw-r--r--COPYING35147logplain
-rw-r--r--README-hacking.md71833logplain
-rw-r--r--README.md7308logplain
-rw-r--r--paper.tex69258logplain
-rwxr-xr-xproject16114logplain
d---------reproduce70logplain
d---------tex97logplain