# HG changeset patch
# User mir3636
# Date 1516491325 -32400
# Node ID 529e93784da31e3c238564f93fa90f9c68101255
# Parent  583eb189f004ff2cfd0c4a7a31ab1ab5448e6a7f
fix

diff -r 583eb189f004 -r 529e93784da3 Slide/prosym.md
--- a/Slide/prosym.md	Sun Jan 21 00:54:43 2018 +0900
+++ b/Slide/prosym.md	Sun Jan 21 08:35:25 2018 +0900
@@ -269,9 +269,6 @@
 - Gears OS ではノーマルレベルの計算の他に Context や stub などのメタ計算を記述する必要がある。
 - 現在の CbC で Gears OS を記述すると、このメタ計算の記述も行わなくてはならず、これには多くの労力を要する。
 - この記述を助けるために Context を生成する generate_context と stub Code Gear を生成する generate_stub を perl スクリプトで作成した。
-<div style="text-align: center;">
-　<img src="./fig/generate_context.pdf" alt="generate_context" width="900">
-</div>
 
 
 # stub Code Gear の生成