Mercurial > hg > Papers > 2018 > ryokka-sigos

diff Paper/pic/gears_structure.xbb @ 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 576637483425
children
line wrap: on
line diff