<?PHP // $Id$
      // Names of the documentation files

$string['intro.html'] = "イントロダクション";
$string['background.html'] = "背景";
$string['features.html'] = "特徴";
$string['release.html'] = "リリースノート";
$string['install.html'] = "インストール";
$string['faq.html'] = "インストール FAQ";
$string['upgrade.html'] = "アップグレード";
$string['teacher.html'] = "教師用マニュアル";
$string['developer.html'] = "開発者用マニュアル";
$string['cvs.html'] = "CVSの利用";
$string['future.html'] = "将来";
$string['credits.html'] = "クレジット";
$string['licence.html'] = "ライセンス";


?>
