directory /paper/ @ 189:1369f653e34e default tip

name size permissions
[up] drwxr-xr-x
dir. fig/ drwxr-xr-x
dir. images/ drwxr-xr-x
dir. source/ drwxr-xr-x
file Makefile 770 -rw-r--r--
file TopologyFile.dot 217 -rw-r--r--
file TopologyManager.sh 94 -rw-r--r--
file Torque.sh 29 -rw-r--r--
file abstract.tex 5726 -rw-r--r--
file bussproofs.sty 39800 -rw-r--r--
file escape_agda.rb 553 -rw-r--r--
file flip.cc 82 -rw-r--r--
file master_paper.sty 12841 -rw-r--r--
file nozomi-master.pdf 753220 -rw-r--r--
file nozomi-master.tex 65242 -rw-r--r--
file reference.bib 3532 -rw-r--r--
file ring.dot 205 -rw-r--r--
file summary.tex 3227 -rw-r--r--
file thanks.tex 628 -rw-r--r--
file type.tex 17240 -rw-r--r--
file 背表紙.graffle 2044 -rw-r--r--