diff index.html @ 107:6666379bc545

auto-Update generated slides by script
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 26 Apr 2016 18:13:01 +0900
parents a7d4f716a3f5
children 7b69ffd85989
line wrap: on
line diff
--- a/index.html	Tue Apr 19 18:11:54 2016 +0900
+++ b/index.html	Tue Apr 26 18:13:01 2016 +0900
@@ -87,6 +87,7 @@
   <li>20160329 : <a href="slides/20160329/slide.html">Verification of programs using Continuation based C</a></li>
   <li>20160412 : <a href="slides/20160412/slide.html">Verification of programs using Continuation based C</a></li>
   <li>20160419 : <a href="slides/20160419/slide.html">Verification of programs using Continuation based C</a></li>
+  <li>20160426 : <a href="slides/20160426/slide.html">Verification of programs using Continuation based C</a></li>
 </ul>
 
   </body>