2
// Names of the documentation files
4
$string['intro.html'] = "²��";
5
$string['background.html'] = "�I��";
6
$string['features.html'] = "�S�I";
7
$string['release.html'] = "���X��������";
8
$string['install.html'] = "�w��";
9
$string['upgrade.html'] = "�ɯ�";
10
$string['teacher.html'] = "�Юv��U";
11
$string['developer.html'] = "�z��U";
12
$string['cvs.html'] = "�ϥ� CVS";
13
$string['future.html'] = "���ӭp�e";
14
$string['credits.html'] = "�^�m";
15
$string['licence.html'] = "���v�n��";
19
2
// Names of the documentation files
b'$string[\'intro.html\'] = "\xc2\xb2\xa4\xb6";'
b'$string[\'background.html\'] = "\xadI\xb4\xba";'
b'$string[\'features.html\'] = "\xafS\xc2I";'
b'$string[\'release.html\'] = "\xc4\xc0\xa5X\xaa\xa9\xa5\xbb\xbb\xa1\xa9\xfa";'
b'$string[\'install.html\'] = "\xa6w\xb8\xcb";'
b'$string[\'upgrade.html\'] = "\xa4\xc9\xaf\xc5";'
b'$string[\'teacher.html\'] = "\xb1\xd0\xaev\xa4\xe2\xa5U";'
b'$string[\'developer.html\'] = "\xba\xde\xb2z\xa4\xe2\xa5U";'
b'$string[\'cvs.html\'] = "\xa8\xcf\xa5\xce CVS";'
b'$string[\'future.html\'] = "\xa5\xbc\xa8\xd3\xadp\xb5e";'
b'$string[\'credits.html\'] = "\xb0^\xc4m";'
b'$string[\'licence.html\'] = "\xaa\xa9\xc5v\xc1n\xa9\xfa";'
b'\\ No newline at end of file'