Mercurial > hg > Papers > 2020 > soto-midterm

directory /tex/ @ 4:35f0e5f12fe6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
name size permissions
[up] drwxr-xr-x
dir. abstract/ drwxr-xr-x
dir. intro/ drwxr-xr-x
dir. spec/ drwxr-xr-x
file abstract.tex 753 -rw-r--r--
file agda.tex 577 -rw-r--r--
file cbc.tex 3134 -rw-r--r--
file hoare.tex 958 -rw-r--r--
file intro.tex 1186 -rw-r--r--
file spec.tex 2781 -rw-r--r--