changeset 69:bda11534296f

Update pdf
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Sat, 04 Feb 2017 16:34:14 +0900
parents 804d4b0b8c6e
children 4b8a75618f36
files paper/atton-master.pdf paper/atton-master.tex
diffstat 2 files changed, 4 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
Binary file paper/atton-master.pdf has changed
--- 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{まとめ}