Update of /cvsroot/htdocs/ja/Releases/formal-0.9 In directory mogu:/tmp/cvs-serv4884/formal-0.9 Modified Files: index.html Log Message: Sync with TNF.