Mercurial > hg > Papers > 2017 > ryokka-midterm

annotate pic/emblem-bitmap.xbb @ 7:c0a6124f436b default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
delete natural deduction. add CbC,Agda more description
author ryokka
date Fri, 27 Oct 2017 17:06:15 +0900
parents 0a6686180a13
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
4
0a6686180a13 fix Agda,NaturalDeduction
ryokka
parents:
diff changeset
1 %%Title: emblem-bitmap.pdf
0a6686180a13 fix Agda,NaturalDeduction
ryokka
parents:
diff changeset
2 %%Creator: extractbb 20160307
0a6686180a13 fix Agda,NaturalDeduction
ryokka
parents:
diff changeset
3 %%BoundingBox: 0 0 451 246
0a6686180a13 fix Agda,NaturalDeduction
ryokka
parents:
diff changeset
4 %%HiResBoundingBox: 0.000000 0.000000 451.000000 246.000000
0a6686180a13 fix Agda,NaturalDeduction
ryokka
parents:
diff changeset
5 %%PDFVersion: 1.3
0a6686180a13 fix Agda,NaturalDeduction
ryokka
parents:
diff changeset
6 %%Pages: 1
0a6686180a13 fix Agda,NaturalDeduction
ryokka
parents:
diff changeset
7 %%CreationDate: Thu Oct 26 13:59:32 2017
0a6686180a13 fix Agda,NaturalDeduction
ryokka
parents:
diff changeset
8