Mercurial > hg > Members > atton > generated_seminar_slides

diff index.html @ 81:21325b72ffc3

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, 21 Jul 2015 17:54:56 +0900
parents ee5429cf4dfd
children 0a9c2ef4010a
line wrap: on
line diff
--- a/index.html	Tue Jul 21 17:46:09 2015 +0900
+++ b/index.html	Tue Jul 21 17:54:56 2015 +0900
@@ -62,6 +62,7 @@
   <li>20150519 : <a href="slides/20150519/slide.html">Verification of programs using Code Segments and Data Segments</a></li>
   <li>20150616 : <a href="slides/20150616/slide.html">Verification of programs using Code Segments and Data Segments</a></li>
   <li>20150714 : <a href="slides/20150714/slide.html">Report of LOLA + LICS/ICALP</a></li>
+  <li>20150721 : <a href="slides/20150721/slide.html">Verification of programs using Code Segments and Data Segments</a></li>
 </ul>
 
   </body>