Mercurial > hg > Papers > 2020 > ryokka-master
diff paper/fig/factorial.xbb @ 7:8ef64db63497
fix agda.tex
author | ryokka |
---|---|
date | Thu, 06 Feb 2020 19:24:32 +0900 |
parents | c7acb9211784 |
children |
line wrap: on
line diff
--- a/paper/fig/factorial.xbb Wed Feb 05 02:48:31 2020 +0900 +++ b/paper/fig/factorial.xbb Thu Feb 06 19:24:32 2020 +0900 @@ -4,5 +4,5 @@ %%HiResBoundingBox: 0.000000 0.000000 296.000000 220.000000 %%PDFVersion: 1.3 %%Pages: 1 -%%CreationDate: Mon Jan 20 14:41:04 2020 +%%CreationDate: Wed Feb 5 17:52:45 2020