Mercurial > hg > Papers > 2018 > nozomi-master

directory /paper/ @ 93:16dc3337a5a9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
name size permissions
[up] drwxr-xr-x
dir. fig/ drwxr-xr-x
dir. src/ drwxr-xr-x
file Makefile 818 -rw-r--r--
file abstract.tex 1153 -rw-r--r--
file abstract_eng.tex 820 -rw-r--r--
file agda.tex 36765 -rw-r--r--
file akasha.tex 19616 -rw-r--r--
file atton-master.pdf 685016 -rw-r--r--
file atton-master.tex 3165 -rw-r--r--
file bussproofs.sty 39800 -rw-r--r--
file cbc-type.tex 32474 -rw-r--r--
file cbc.tex 14762 -rw-r--r--
file escape_agda.rb 553 -rw-r--r--
file history.tex 756 -rw-r--r--
file introduction.tex 4464 -rw-r--r--
file master_paper.sty 12885 -rw-r--r--
file reference.bib 7944 -rw-r--r--
file sources.tex 2022 -rw-r--r--
file summary.tex 3189 -rw-r--r--
file thanks.tex 628 -rw-r--r--
file type.tex 17239 -rw-r--r--