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

diff -r ec6799ca9d42 -r 804d4b0b8c6e paper/atton-master.tex
--- a/paper/atton-master.tex	Sat Feb 04 16:19:23 2017 +0900
+++ b/paper/atton-master.tex	Sat Feb 04 16:19:41 2017 +0900
@@ -8,7 +8,8 @@
 %    gears and monad
 %    delta monad
 %    副査名修正
-%    csComp の解説
+%    csComp, push-pop, exec-comp の解説
+
 
 
 \documentclass[a4j,12pt]{jreport}