# HG changeset patch
# User Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
# Date 1436022661 -32400
# Node ID 889696aa50184313fa218fc7310cb3531058d235
# Parent  c3d20ec1ec4b42530dc9c0b43b825adb2a81d390
fix

diff -r c3d20ec1ec4b -r 889696aa5018 presentation/presen.html
--- a/presentation/presen.html	Sat Jul 04 23:36:52 2015 +0900
+++ b/presentation/presen.html	Sun Jul 05 00:11:01 2015 +0900
@@ -54,7 +54,7 @@
         <table width="90%" height="90%" border="0" align="center">
           <tr>
             <td><div align="center">
-                <h1><font color="#808db5">Implementating Continuation based language in Clang and LLVM</font></h1>
+                <h1><font color="#808db5">Implementing Continuation based language in Clang and LLVM</font></h1>
             </div></td>
           </tr>
           <tr>
@@ -566,7 +566,6 @@
       <div class='slide'>
         <h2>Usage of CbC : Model checking</h2>
         <ul>
-        <li>call meta code segment during goto
         <li>try all possible non deterministic computation
         <li>keep track data segment state 
         <li>Do the model checking without modifying the code