# HG changeset patch
# User Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
# Date 1398157814 -32400
# Node ID e2ba745dc8c1e9cf679325290e1bec26a856431d
# Parent  c88759812d2b96ac0c1ec2c3fd0e065be00d4fb1
auto-Update generated slides by script

diff -r c88759812d2b -r e2ba745dc8c1 slides/20140422/slide.html
--- a/slides/20140422/slide.html	Tue Apr 22 13:29:37 2014 +0900
+++ b/slides/20140422/slide.html	Tue Apr 22 18:10:14 2014 +0900
@@ -43,7 +43,7 @@
 			<!-- === begin markdown block ===
 
       generated by markdown 1.1.1 on Ruby 2.1.1 (2014-02-24) [x86_64-darwin13.0]
-                on 2014-04-22 13:29:36 +0900 with Markdown engine kramdown (1.3.3)
+                on 2014-04-22 18:10:14 +0900 with Markdown engine kramdown (1.3.3)
                   using options {}
   -->
 
@@ -78,6 +78,7 @@
     </ul>
   </li>
   <li>時期システムの試用機として Dell のマシンが来ました</li>
+  <li>研究ノート</li>
 </ul>
 
 
diff -r c88759812d2b -r e2ba745dc8c1 slides/20140422/slide.md
--- a/slides/20140422/slide.md	Tue Apr 22 13:29:37 2014 +0900
+++ b/slides/20140422/slide.md	Tue Apr 22 18:10:14 2014 +0900
@@ -18,6 +18,7 @@
     * BinTree
     * Tree
 * 時期システムの試用機として Dell のマシンが来ました
+* 研究ノート
 
 
 # System F on Agda