Mercurial > hg > Members > atton > generated_seminar_slides
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>