Mercurial > hg > Papers > 2018 > nozomi-master

diff paper/atton-master.tex @ 70:4b8a75618f36

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add summary
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Sun, 05 Feb 2017 16:53:16 +0900
parents bda11534296f
children b0cfef1cd89f
line wrap: on
line diff
--- a/paper/atton-master.tex	Sat Feb 04 16:34:14 2017 +0900
+++ b/paper/atton-master.tex	Sun Feb 05 16:53:16 2017 +0900
@@ -121,9 +121,7 @@
 \input{type.tex}
 \input{agda.tex}
 \input{cbc-type.tex}
-
-\chapter{まとめ}
-\section{今後の課題}
+\input{summary.tex}
 
 %謝辞
 \addcontentsline{toc}{chapter}{謝辞}