Mercurial > hg > Papers > 2017 > ryokka-midterm

comparison .hgignore @ 7:c0a6124f436b default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
delete natural deduction. add CbC,Agda more description
author ryokka
date Fri, 27 Oct 2017 17:06:15 +0900
parents e43f253ebce5
children
comparison
equal deleted inserted replaced
6:3be2444dacc5 7:c0a6124f436b