Mercurial > hg > Members > atton > generated_seminar_slides

diff index.html @ 83:0a9c2ef4010a

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, 04 Aug 2015 18:34:10 +0900
parents 21325b72ffc3
children 21f3a673fe0f
line wrap: on
line diff
--- a/index.html	Tue Jul 21 18:08:09 2015 +0900
+++ b/index.html	Tue Aug 04 18:34:10 2015 +0900
@@ -63,6 +63,7 @@
   <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>
+  <li>20150804 : <a href="slides/20150804/slide.html">Verification of programs using Code Segments and Data Segments</a></li>
 </ul>
 
   </body>