Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .dir-locals.el | 920 | logplain |
-rw-r--r-- | .gitignore | 231 | logplain |
-rw-r--r-- | README | 1077 | logplain |
-rw-r--r-- | README.md | 45999 | logplain |
-rwxr-xr-x | configure | 9017 | logplain |
-rw-r--r-- | paper.tex | 6937 | logplain |
d--------- | reproduce | 63 | logplain |
d--------- | tex | 324 | logplain |