<?PHP // $Id$
// Names of the documentation files
-$string['intro.html'] = "Introduction";
-$string['background.html'] = "Background";
-$string['features.html'] = "Features";
-$string['release.html'] = "Release Notes";
-$string['install.html'] = "Installation";
-$string['upgrade.html'] = "Upgrading";
-$string['teacher.html'] = "Teacher Manual";
-$string['developer.html'] = "Developer Manual";
-$string['cvs.html'] = "Using CVS";
-$string['future.html'] = "Future";
-$string['credits.html'] = "Credits";
-$string['licence.html'] = "License";
-
-
-?>
+$string['intro.html'] = "¥¤¥ó¥È¥í¥À¥¯¥·¥ç¥ó";
+$string['background.html'] = "ÇØ·Ê";
+$string['features.html'] = "ÆÃħ";
+$string['release.html'] = "¥ê¥ê¡¼¥¹¥Î¡¼¥È";
+$string['install.html'] = "¥¤¥ó¥¹¥È¡¼¥ë";
+$string['upgrade.html'] = "¥¢¥Ã¥×¥°¥ì¡¼¥É";
+$string['teacher.html'] = "¶µ»ÕÍѥޥ˥奢¥ë";
+$string['developer.html'] = "³«È¯¼ÔÍѥޥ˥奢¥ë";
+$string['cvs.html'] = "CVS¤ÎÍøÍÑ";
+$string['future.html'] = "¾Íè";
+$string['credits.html'] = "¥¯¥ì¥¸¥Ã¥È";
+$string['licence.html'] = "¥é¥¤¥»¥ó¥¹";
+?>
\ No newline at end of file