Mercurial > hg > Papers > 2017 > ryokka-midterm

diff 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
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/pic/emblem-bitmap.xbb	Thu Oct 26 14:21:59 2017 +0900
@@ -0,0 +1,8 @@
+%%Title: emblem-bitmap.pdf
+%%Creator: extractbb 20160307
+%%BoundingBox: 0 0 451 246
+%%HiResBoundingBox: 0.000000 0.000000 451.000000 246.000000
+%%PDFVersion: 1.3
+%%Pages: 1
+%%CreationDate: Thu Oct 26 13:59:32 2017
+