Mercurial > hg > Papers > 2017 > ryokka-midterm

comparison pic/emblem-bitmap.xbb @ 4:0a6686180a13

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix Agda,NaturalDeduction
author ryokka
date Thu, 26 Oct 2017 14:21:59 +0900
parents
children
comparison
equal deleted inserted replaced
3:c91ffa1c55b1 4:0a6686180a13
1 %%Title: emblem-bitmap.pdf
2 %%Creator: extractbb 20160307
3 %%BoundingBox: 0 0 451 246
4 %%HiResBoundingBox: 0.000000 0.000000 451.000000 246.000000
5 %%PDFVersion: 1.3
6 %%Pages: 1
7 %%CreationDate: Thu Oct 26 13:59:32 2017
8