Mercurial > hg > Papers > 2020 > ryokka-master

directory /paper/ @ 19:046b2b20d6c7 default tip

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 815 -rw-r--r--
file abstract.tex 5571 -rw-r--r--
file agda.tex 17008 -rw-r--r--
file cbc.tex 3746 -rw-r--r--
file cbc_agda.tex 3968 -rw-r--r--
file cbc_hoare.tex 16747 -rw-r--r--
file conclusion.tex 2900 -rw-r--r--
file escape_agda.rb 859 -rwxr-xr-x
file history.bib 375 -rw-r--r--
file history.tex 853 -rw-r--r--
file hoare.tex 17096 -rw-r--r--
file introduction.tex 1753 -rw-r--r--
file master_paper.pdf 437969 -rw-r--r--
file master_paper.tex 2782 -rw-r--r--
file reference.bib 8491 -rw-r--r--
file summary.tex 3227 -rw-r--r--
file thanks.tex 633 -rw-r--r--
file tree.tex 385 -rw-r--r--