Mercurial > hg > Members > atton > generated_seminar_slides

diff index.html @ 77:1ca538319412

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, 19 May 2015 19:57:20 +0900
parents 1211e97e1569
children be05064aea7e
line wrap: on
line diff
--- a/index.html	Mon Apr 27 18:33:12 2015 +0900
+++ b/index.html	Tue May 19 19:57:20 2015 +0900
@@ -59,6 +59,7 @@
   <li>20150407 : <a href="slides/20150407/slide.html">Categorical Formalization of Program Modification</a></li>
   <li>20150414 : <a href="slides/20150414/slide.html">Operational Semantics of Continuation based C</a></li>
   <li>20150421 : <a href="slides/20150421/slide.html">Verification of programs using Code Segments Data Segments</a></li>
+  <li>20150519 : <a href="slides/20150519/slide.html">Verification of programs using Code Segments and Data Segments</a></li>
 </ul>
 
   </body>