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