Changes to ProofCompets/VSTTE2012

• 2011-11-08 10:00:47 UTC (mzp): format
• 2011-11-08 10:00:43 UTC (yoshihiro503): fix: 概要
• 2011-11-08 09:59:16 UTC (yoshihiro503): fix: リスト表示
• 2011-11-08 09:55:36 UTC (yoshihiro503): VSTTE2012参加方法