Mercurial > hg > Papers > 2022 > soto-sigos

directory /DPP/ @ 9:bc8222372b9d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
name size permissions
[up] drwxr-xr-x
file .#ModelChecking.agda 31 lrwxrwxrwx
file ModelChecking.agda 26527 -rw-r--r--
file logic.agda 2396 -rw-r--r--
file logic.agdai 113881 -rw-r--r--
file sample.agda 2436 -rw-r--r--
file sample.agdai 181538 -rw-r--r--