Mercurial > hg > Papers > 2017 > atton-master

directory /paper/ @ 64:10a550bf7e4a

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 803 -rw-r--r--
file abstract.tex 33 -rw-r--r--
file abstract_eng.tex 45 -rw-r--r--
file agda.tex 33216 -rw-r--r--
file atton-master.pdf 581376 -rw-r--r--
file atton-master.tex 2814 -rw-r--r--
file bussproofs.sty 39800 -rw-r--r--
file cbc-type.tex 14872 -rw-r--r--
file cbc.tex 23910 -rw-r--r--
file escape_agda.rb 507 -rw-r--r--
file history.tex 644 -rw-r--r--
file introduction.tex 4177 -rw-r--r--
file master_paper.sty 12887 -rw-r--r--
file reference.bib 4948 -rw-r--r--
file thanks.tex 628 -rw-r--r--
file type.tex 70480 -rw-r--r--