<?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'] = "Release Notes"; $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'] = "�����"; ?>