Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .dir-locals.el | 1289 | logplain |
-rw-r--r-- | .file-metadata | 9198 | logplain |
-rw-r--r-- | .gitattributes | 199 | logplain |
-rw-r--r-- | .gitignore | 994 | logplain |
-rw-r--r-- | COPYING | 35147 | logplain |
-rw-r--r-- | README-hacking.md | 92335 | logplain |
-rw-r--r-- | README.md | 18991 | logplain |
-rw-r--r-- | paper.tex | 157649 | logplain |
d--------- | peer-review | 80 | logplain |
-rwxr-xr-x | project | 22137 | logplain |
d--------- | reproduce | 70 | logplain |
d--------- | tex | 97 | logplain |