Mercurial > hg > Papers > 2022 > soto-sigos

directory /Paper/tex/spec/src/ @ 0:14a0e409d574

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
name size permissions
[up] drwxr-xr-x
file agda-mcg.agda 284 -rw-r--r--
file agda-mcg.agda.replaced 398 -rw-r--r--