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

$string['intro.html'] = "Einführung";
$string['background.html'] = "Hintergrund";
$string['features.html'] = "Features";
$string['release.html'] = "Release Notes";
$string['install.html'] = "Installation";
$string['upgrade.html'] = "Upgrade";
$string['faq.html'] = "FAQ";
$string['teacher.html'] = "Lehrer-Anleitung";
$string['developer.html'] = "Entwickler-Anleitung";
$string['cvs.html'] = "Nutzung von CVS";
$string['future.html'] = "Zukunft";
$string['credits.html'] = "Danksagungen";
$string['licence.html'] = "Lizenz";


?>