# HG changeset patch
# User atton <atton@cr.ie.u-ryukyu.ac.jp>
# Date 1486193654 -32400
# Node ID bda11534296f0c382afe89848a3d181ab2f36caa
# Parent  804d4b0b8c6e3affbed4e2444c935d9a64656cbd
Update pdf

diff -r 804d4b0b8c6e -r bda11534296f paper/atton-master.pdf
Binary file paper/atton-master.pdf has changed
diff -r 804d4b0b8c6e -r bda11534296f paper/atton-master.tex
--- a/paper/atton-master.tex	Sat Feb 04 16:19:41 2017 +0900
+++ b/paper/atton-master.tex	Sat Feb 04 16:34:14 2017 +0900
@@ -116,10 +116,10 @@
 \mainmatter
 
 %chapters
-% \input{introduction.tex}
-% \input{cbc.tex}
-% \input{type.tex}
-% \input{agda.tex}
+\input{introduction.tex}
+\input{cbc.tex}
+\input{type.tex}
+\input{agda.tex}
 \input{cbc-type.tex}
 
 \chapter{まとめ}