# HG changeset patch
# User Shinji KONO <kono@ie.u-ryukyu.ac.jp>
# Date 1240562463 -32400
# Node ID 93c2d8dc34698b5ff38b25ec2dfb8f18111e15ad
# Parent  6d15c7d67941e00a9e18989aeda312a36148864f
fix

diff -r 6d15c7d67941 -r 93c2d8dc3469 presentation/rep-verify-sigos.ind
--- a/presentation/rep-verify-sigos.ind	Fri Apr 24 08:31:40 2009 +0900
+++ b/presentation/rep-verify-sigos.ind	Fri Apr 24 17:41:03 2009 +0900
@@ -44,7 +44,7 @@
 
 Editor はdefaultで、ローカルなSession Manager に接続する
 
-<center><img src="fig/one_session_manager.jpg" alt="Session Managerの導入"></center>
+<center><img src="fig/one_session_manager.pdf" alt="Session Managerの導入"></center>
 
 --Protocol の構成
 
@@ -58,20 +58,20 @@
 
 ---Session managerの接続protocol
 
-<center><img src="fig/many_session_manager.jpg" alt="Session Manager同士の接続"></center>
+<center><img src="fig/many_session_manager.pdf" alt="Session Manager同士の接続"></center>
 
 ---Session 接続 protocol
 
-<center><img src="fig/sm_join.jpg" alt="join コマンド"></center>
+<center><img src="fig/sm_join.pdf" alt="join コマンド"></center>
 
-<center><img src="fig/use_case_put_join_over_sm.jpg" alt="Session Managerを介したエディタの接続"></center>
+<center><img src="fig/use_case_put_join_over_sm.pdf" alt="Session Managerを介したエディタの接続"></center>
 
 
 ---Merge Protocol
 
 編集の衝突を解決する
 
-<center><img src="fig/new_merge.jpg" alt="Session Ring上のREPコマンドの送信"></center>
+<center><img src="fig/new_merge.pdf" alt="Session Ring上のREPコマンドの送信"></center>
 
 
 --Merge をSession Manager 上で行なう
@@ -86,7 +86,7 @@
 
 Merge 作業とEditor上の編集が衝突する場合もある
 
-<center><img src="fig/reMerge.jpg" alt="リマージ"></center>
+<center><img src="fig/reMerge.pdf" alt="リマージ"></center>
 
 Editor側のlockが可能ならばlockしても良い。(optional)