# HG changeset patch
# User Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
# Date 1436019039 -32400
# Node ID bbbeecda034d1210068bedde0aac69f4bf3b9c1f
# Parent  b9179e9084d95ea6c32b4e1d0a3f7f4c86d05746
fic

diff -r b9179e9084d9 -r bbbeecda034d presentation/presen.html
--- a/presentation/presen.html	Sat Jul 04 23:00:54 2015 +0900
+++ b/presentation/presen.html	Sat Jul 04 23:10:39 2015 +0900
@@ -60,7 +60,7 @@
           <tr>
             <td><div align="left">
                 Kaito Tokumori, Shinji Kono <br>
-		University of the Ryukyus
+                University of the Ryukyus
                 <script>
                   document.write("<br>July 5, 2015");
                 </script>
@@ -140,7 +140,7 @@
 
       <div class='slide'>
         <h2>Meta code / data segments</h2>
-        A thread of code segments has a context as a meta data segment
+        <p>A thread of code segments has a context as a meta data segment</p>
         <ul>
           <li>Execution contexts: Thread
           <li>Type signatures of data segments.
@@ -405,7 +405,7 @@
           <li>Fast cc is used consistently in code segments call.
           <li>All the code segments return value type is void.
         </ul>
-        This is the reason why we need __code type for code segments.
+        <p>This is the reason why we need __code type for code segments.</p>
       </div>
 
       <div class='slide'>
@@ -415,7 +415,7 @@
           <li>simply goto g() in C function f()
           <li>goto g() never returns to function f
         </ul>
-        How to return to C from a code segment?
+        <p>How to return to C from a code segment?</p>
       </div>
 
       <div class='slide'>
@@ -464,7 +464,7 @@
 
       <div class='slide'>
         <h2>Implementation of  goto with environment</h2>
-        Several ways to implementation
+        <p>Several ways to implementation</p>
         <ul>
         <li>setjmp/longjmp (LLVM)
         <li>nested function closure with thread safe variable (GCC)