Mercurial > hg > Papers > 2018 > ryokka-sigos

view Paper/pic/cbc_goto.pdf @ 8:35d15c091cfd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix Makefile export .agda.replaced,and main document
author ryokka
date Mon, 23 Apr 2018 21:44:32 +0900
parents a5facba1adbc
children
line wrap: on
line source

(binary:application/pdf)