Mercurial > hg > Papers > 2009 > rep-verify-sigos

view 0.tex @ 5:34bfeb51e287

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add section tex file, Makefile
author gongo@gendarme.local
date Sat, 28 Mar 2009 16:26:43 +0900
parents
children
line wrap: on
line source

\input{1}	% はじめに
\input{2}	% Remote Editing Protocol の設計方針
\input{3}	% Protocol の構成
\input{4}	% Protocol の正しさ
\input{5}	% Protocol の実装
\input{6}	% Socket Simulator
\input{7}	% 検証とデバッグ
\input{8}	% 比較
\input{9}	% 最後に