diff index.html @ 104:d4e4ecc1c347

auto-Update generated slides by script
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 29 Mar 2016 18:58:54 +0900
parents d3b6ffaddeef
children 95e6916ff708
line wrap: on
line diff
--- a/index.html	Tue Mar 22 18:10:16 2016 +0900
+++ b/index.html	Tue Mar 29 18:58:54 2016 +0900
@@ -84,6 +84,7 @@
   <li>20160308 : <a href="slides/20160308/slide.html">Verification of programs using Code Segments and Data Segments</a></li>
   <li>20160315 : <a href="slides/20160315/slide.html">Verification of programs using Continuation based C</a></li>
   <li>20160322 : <a href="slides/20160322/slide.html">Verification of programs using Continuation based C</a></li>
+  <li>20160329 : <a href="slides/20160329/slide.html">Verification of programs using Continuation based C</a></li>
 </ul>
 
   </body>