# HG changeset patch
# User Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
# Date 1424143715 -32400
# Node ID f15155ec9bd918dff2c7120a2ec138b0e9e1046d
# Parent  4f7137c0ea15d03edbc8b8e3cb297e56431679d8
Add generated prepaper PDF

diff -r 4f7137c0ea15 -r f15155ec9bd9 .hgignore
--- a/.hgignore	Tue Feb 17 12:28:08 2015 +0900
+++ b/.hgignore	Tue Feb 17 12:28:35 2015 +0900
@@ -19,5 +19,3 @@
 *.agda.replaced
 *.agdai
 *.agda~
-
-115763K.pdf
diff -r 4f7137c0ea15 -r f15155ec9bd9 prepaper/115763K.pdf
Binary file prepaper/115763K.pdf has changed