Mercurial > hg > Papers > 2015 > atton-osc

changeset 14:43c56be5f779 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix typo
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Sat, 24 May 2014 11:30:42 +0900
parents 37a7b8c31a0c
children
files slide.html slide.md
diffstat 2 files changed, 3 insertions(+), 7 deletions(-) [+]
line wrap: on
line diff
--- a/slide.html	Sat May 24 10:56:24 2014 +0900
+++ b/slide.html	Sat May 24 11:30:42 2014 +0900
@@ -43,7 +43,7 @@
 			<!-- === begin markdown block ===
 
       generated by markdown 1.1.1 on Ruby 2.1.2 (2014-05-08) [x86_64-darwin13.0]
-                on 2014-05-24 10:56:09 +0900 with Markdown engine kramdown (1.3.3)
+                on 2014-05-24 11:29:40 +0900 with Markdown engine kramdown (1.3.3)
                   using options {}
   -->
 
@@ -644,11 +644,7 @@
 			<!-- _S9SLIDE_ -->
 
 <ul>
-  <li>
-    <ul>
-      <li>の定義である x + (S y) = S (x + y) により変形</li>
-    </ul>
-  </li>
+  <li>_ + _ の定義である x + (S y) = S (x + y) により変形</li>
 </ul>
 
 <pre><code>  add-sym (S x) (S y) = begin
--- a/slide.md	Sat May 24 10:56:24 2014 +0900
+++ b/slide.md	Sat May 24 11:30:42 2014 +0900
@@ -250,7 +250,7 @@
 
 
 # 交換法則の証明 : + の定義による変形
-* + の定義である x + (S y) = S (x + y) により変形
+* _ + _ の定義である x + (S y) = S (x + y) により変形
 
 ```
   add-sym (S x) (S y) = begin