Mercurial > hg > Papers > 2018 > ryokka-thesis
directory /final_pre/ @ 7:28f900230c26
name | size | permissions |
---|---|---|
[up] | drwxr-xr-x | |
auto/ | drwxr-xr-x | |
modus-ponens/ | drwxr-xr-x | |
src/ | drwxr-xr-x | |
Makefile | 535 | -rwxr-xr-x |
bussproofs.sty | 39800 | -rwxr-xr-x |
dummy.tex | 2712 | -rw-r--r-- |
fancyhdr.sty | 10663 | -rw-r--r-- |
finalPre.aux | 1338 | -rw-r--r-- |
finalPre.bbl | 809 | -rw-r--r-- |
finalPre.blg | 905 | -rw-r--r-- |
finalPre.dvi | 22724 | -rw-r--r-- |
finalPre.log | 9183 | -rw-r--r-- |
finalPre.pdf | 174143 | -rw-r--r-- |
finalPre.tex | 13195 | -rw-r--r-- |
jlisting.sty | 6230 | -rwxr-xr-x |
picins.sty | 17807 | -rw-r--r-- |
reference.bib | 1152 | -rw-r--r-- |