changeset 56:6060f56bb564

Add pdf
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Tue, 31 Jan 2017 19:26:31 +0900
parents 70bea06ebdf3
children 3f58377a9f59
files paper/atton-master.pdf paper/atton-master.tex
diffstat 2 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
Binary file paper/atton-master.pdf has changed
--- a/paper/atton-master.tex	Tue Jan 31 17:30:07 2017 +0900
+++ b/paper/atton-master.tex	Tue Jan 31 19:26:31 2017 +0900
@@ -116,8 +116,8 @@
 %chapters
 \input{introduction.tex}
 
-%\input{cbc.tex}
-%\input{type.tex}
+\input{cbc.tex}
+\input{type.tex}
 \input{agda.tex}