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

$string['intro.html'] = "Introduksjon";
$string['background.html'] = "Bakgrunn";
$string['features.html'] = "Egenskaper";
$string['release.html'] = "Om denne versjonen";
$string['install.html'] = "Installasjon";
$string['faq.html'] = "FAQ om installasjon";
$string['upgrade.html'] = "Oppgraderer";
$string['teacher.html'] = "Lærerens håndbok";
$string['developer.html'] = "Administrators håndbok";
$string['cvs.html'] = "Å bruke CVS";
$string['future.html'] = "Framtiden";
$string['credits.html'] = "Credits";
$string['licence.html'] = "Lisens";


?>
