プルーフのバージョンの管理：記事インデックス