changeset 17:e2ba745dc8c1

auto-Update generated slides by script
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 22 Apr 2014 18:10:14 +0900
parents c88759812d2b
children 34bf50eeffc4
files slides/20140422/slide.html slides/20140422/slide.md
diffstat 2 files changed, 3 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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>
 
 
--- 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