Mercurial > hg > Papers > 2018 > nozomi-master

directory /poster/modus-ponens/ @ 165:b9222de88889

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
name size permissions
[up] drwxr-xr-x
file Makefile 652 -rw-r--r--
file bussproofs.sty 39800 -rw-r--r--
file modus-ponens.pdf 5002 -rw-r--r--
file modus-ponens.svg 24792 -rw-r--r--
file modus-ponens.tex 1404 -rw-r--r--