Mercurial > hg > Papers > 2017 > ryokka-midterm

comparison pic/emblem-bitmap.xbb @ 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 0a6686180a13
children
comparison
equal deleted inserted replaced
6:3be2444dacc5 7:c0a6124f436b