Diff of SyncStitch

• The added line is THIS COLOR.
• The deleted line is THIS COLOR.
• Go to SyncStitch.

TITLE:SyncStitch: 並行システムのモデル化・検査ツール

- http://www.principia-m.com/jp/

- SyncStitch 文書
--  http://www.principia-m.com/jp/ss-docs.html