comparison paper/fig/subtype-arg.xbb @ 7:8ef64db63497

fix agda.tex
author ryokka
date Thu, 06 Feb 2020 19:24:32 +0900
parents c7acb9211784
children
comparison
equal deleted inserted replaced
6:d30593612a38 7:8ef64db63497
2 %%Creator: extractbb 20190225 2 %%Creator: extractbb 20190225
3 %%BoundingBox: 0 0 1084 281 3 %%BoundingBox: 0 0 1084 281
4 %%HiResBoundingBox: 0.000000 0.000000 1084.000000 281.000000 4 %%HiResBoundingBox: 0.000000 0.000000 1084.000000 281.000000
5 %%PDFVersion: 1.3 5 %%PDFVersion: 1.3
6 %%Pages: 1 6 %%Pages: 1
7 %%CreationDate: Mon Jan 20 14:41:05 2020 7 %%CreationDate: Wed Feb 5 17:52:45 2020
8 8