Mercurial > hg > Members > atton > generated_seminar_slides

changeset 47:cbc844d9db38

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
auto-Update generated slides by script
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 07 Oct 2014 18:10:31 +0900
parents 53518c02c0e3
children e8c0f32c7c0c
files slides/20141007/slide.html slides/20141007/slide.md
diffstat 2 files changed, 5 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/slides/20141007/slide.html	Tue Oct 07 16:26:34 2014 +0900
+++ b/slides/20141007/slide.html	Tue Oct 07 18:10:31 2014 +0900
@@ -43,7 +43,7 @@
 			<!-- === begin markdown block ===
 
       generated by markdown 1.1.1 on Ruby 2.1.3 (2014-09-19) [x86_64-darwin13.0]
-                on 2014-10-07 16:26:33 +0900 with Markdown engine kramdown (1.4.1)
+                on 2014-10-07 18:10:30 +0900 with Markdown engine kramdown (1.4.1)
                   using options {}
   -->
 
@@ -70,6 +70,8 @@
 
 <ul>
   <li>Agda で証明始めました</li>
+  <li>卒研は英語で発表しようと思っています</li>
+  <li>11月中旬くらいまでに目処を付けたいです</li>
 </ul>
 
 
--- a/slides/20141007/slide.md	Tue Oct 07 16:26:34 2014 +0900
+++ b/slides/20141007/slide.md	Tue Oct 07 18:10:31 2014 +0900
@@ -12,6 +12,8 @@
 
 # 近況報告
 * Agda で証明始めました
+* 卒研は英語で発表しようと思っています
+* 11月中旬くらいまでに目処を付けたいです
 
 # Similar in Agda
 * Similar の定義だけ