<?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'] = "Άδεια";

?>