Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .dir-locals.el | 1209 | logplain |
-rw-r--r-- | .file-metadata | 4353 | logplain |
-rw-r--r-- | .gitignore | 998 | logplain |
-rw-r--r-- | COPYING | 35147 | logplain |
-rw-r--r-- | README-hacking.md | 53154 | logplain |
-rw-r--r-- | README.md | 4309 | logplain |
-rwxr-xr-x | configure | 35975 | logplain |
-rwxr-xr-x | for-group | 3337 | logplain |
-rw-r--r-- | paper.tex | 10457 | logplain |
d--------- | reproduce | 63 | logplain |
d--------- | tex / src | 30 | logplain |