Mercurial > hg > Members > atton > generated_seminar_slides

diff index.html @ 79:ee5429cf4dfd

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 Mon, 13 Jul 2015 19:17:38 +0900
parents be05064aea7e
children 21325b72ffc3
line wrap: on
line diff
--- a/index.html	Tue Jun 16 21:29:26 2015 +0900
+++ b/index.html	Mon Jul 13 19:17:38 2015 +0900
@@ -61,6 +61,7 @@
   <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>
   <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>
 </ul>
 
   </body>