Mercurial > hg > Papers > 2018 > ryokka-sigos

view 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 source

%%Title: ./pic/gears_structure.pdf
%%Creator: extractbb 20160307
%%BoundingBox: 0 0 713 418
%%HiResBoundingBox: 0.000000 0.000000 713.000000 418.000000
%%PDFVersion: 1.3
%%Pages: 1
%%CreationDate: Thu Apr 19 19:27:00 2018