var vLanguageSelect = new Array(); //---- Language DE ---- var vLanguage = new Array(); vLanguage["All"] = "Alle"; vLanguage["and"] = "und"; vLanguage["appended"] = "ergaenzt"; //used in alert vLanguage["Append_Step"] = "Hinzufügen"; vLanguage["Average"] = "Durchschnitt"; vLanguage["Application_of"] = "Anwendung von"; vLanguage["are_missing"] = "fehlen"; vLanguage["as_Precondition"] = "als Voraussetzung"; vLanguage["Assessment"] = "Bewertung"; vLanguage["by"] = "mit"; vLanguage["between"] = "zwischen"; vLanguage["Cancel"] = "Abbruch"; vLanguage["Comment"] = "Kommentar"; vLanguage["Complete"] = "Vollständig"; vLanguage["Conclusion"] = "Behauptung"; vLanguage["Conclusion_Multi"] = "Zeigen Sie nun, dass die folgenden Behauptungen gelten:"; vLanguage["Conclusion_Single"] = "Zeigen Sie nun, dass die folgende Behauptung gilt:"; vLanguage["Connection"] = "Bezug"; vLanguage["connected"] = "verbunden"; vLanguage["Correct"] = "Korrekte"; vLanguage["Deduction_Points"] = "Punktabzug"; vLanguage["Delete"] = "Loeschen"; vLanguage["Delete_Prompt"] = "Wollen Sie den folgenden Beweisschritt entfernen?"; vLanguage["Delete_Proof"] = "Beweis löschen"; vLanguage["Deleted"] = "geloescht"; vLanguage["Deleted_ProofSteps"] = "Nicht verwendete Beweisschritte"; vLanguage["Display"] = "Darstellung"; vLanguage["does_not_exist"] = "existiert nicht"; vLanguage["Edit_Proof"] = "Beweis-Eingabe:"; vLanguage["End_of"] = "Ende einer"; vLanguage["Equality"] = "Gleichheit"; vLanguage["Errors"] = "Fehler"; vLanguage["Example"] = "Beispiel"; vLanguage["for"] = "für"; vLanguage["greater_equal"] = "groesser gleich"; vLanguage["greater"] = "groesser ..."; vLanguage["Help"] = "Vorschläge"; vLanguage["HelpPage"] = "Hilfe"; vLanguage["Hide"] = "Ausblenden"; vLanguage["impossible"] = "nicht möglich"; vLanguage["in_ProofStep"] = "im Beweisschritt"; vLanguage["Instead_of"] = "statt"; vLanguage["Implication"] = "Folgerung"; vLanguage["is_missing"] = "fehlt"; vLanguage["Justification"] = "Begründung"; vLanguage["Justifications"] = "Begründungen"; vLanguage["Link_ProofSteps"] = "Vernetzung zwischen Beweisschritten"; vLanguage["logical"] = "logisch"; vLanguage["logically"] = "logisch"; vLanguage["lower_equal"] = "kleiner gleich"; vLanguage["Load"] = "Laden"; vLanguage["lower"] = "kleiner"; vLanguage["manual"] = "manuelle"; vLanguage["MinimalProofSteps"] = "Für den Beweis ist die folgende minimale Anzahl von Beweisschritten vorgesehen:"; vLanguage["missing"] = "fehlen"; vLanguage["Missing"] = "Fehlende"; vLanguage["MULTIPLE_USED"] = "MEHRFACH VERWENDET"; vLanguage["necessary"] = "notwendig"; vLanguage["need_a_previous_proofstep"] = "benötigt weiteren Beweischritt vor diesem Schritt"; vLanguage["New"] = "Neuer"; vLanguage["next"] = "nächster"; vLanguage["next_n"] = "nächsten"; vLanguage["No_connection_to_previous"] = "Kein Bezug zum vorherigen Beweisschritt!"; vLanguage["No_connection_to_next"] = "Es gibt keinen Vorschlag für einen nachfolgenden Beweisschritt!"; vLanguage["no_dependency"] = "keine Abhängigkeiten"; vLanguage["None"] = "Keine"; vLanguage["not"] = "nicht"; vLanguage["not_possible_at_first_step"] = "nicht möglich als 1. Schritt!"; vLanguage["Number_of"] = "Anzahl der"; vLanguage["of"] = "von"; vLanguage["Option"] = "Auswahloption"; vLanguage["or"] = "oder"; vLanguage["Own_ProofStep"] = "selbstdefinierter Beweisschritt"; vLanguage["Points"] = "Punkte"; vLanguage["Position"] = "Positionnr."; vLanguage["Precondition"] = "Voraussetzung"; vLanguage["Precondition_Multi"] = "Gegeben sind die folgenden Voraussetzungen: "; vLanguage["Precondition_Single"] = "Gegeben ist die folgende Voraussetzung: "; vLanguage["Preconditions"] = "Voraussetzungen"; vLanguage["previous"] = "vorheriger"; vLanguage["previous_n"] = "vorherigen"; vLanguage["previous_step"] = "Vorheriger Schritt"; vLanguage["Proof"] = "Beweis"; vLanguage["Proof_Input"] = "Beweis-Eingabe"; vLanguage["ProofStep"] = "Beweisfragment"; vLanguage["ProofSteps"] = "Beweisfragmente"; vLanguage["ProofSequence"] = "Beweissequenz"; vLanguage["ProofType"] = "Beweistyp"; vLanguage["Questionmark"] = "?"; vLanguage["Remark"] = "Hinweis"; vLanguage["Remove"] = "Entfernen Sie "; vLanguage["Reset_Prompt"] = "Moechten Sie den bisherigen Beweis loeschen?"; vLanguage["replace"] = "Ersetzen Sie "; vLanguage["Save"] = "Speichern"; vLanguage["select"] = " auswählen"; vLanguage["Select_Answer"] = "Wählen Sie eine Antwort aus"; vLanguage["Selected"] = "Mögliche"; vLanguage["Selection"] = "Auswahl"; vLanguage["Selection_of"] = "Auswahl von"; vLanguage["Self_Defined"] = "selbstdefinierter Beweisschritt"; vLanguage["Short"] = "Kurz"; vLanguage["should_be"] = "sollte sein"; vLanguage["Solution"] = "Lösung"; vLanguage["Step"] = "Schritt"; vLanguage["Step_for"] = "Schritt für"; vLanguage["Step_No"] = "Positionsnr."; vLanguage["Subset"] = "Teilmenge"; vLanguage["Suggestion"] = "Vorschlag"; vLanguage["Suggestions"] = "Vorschläge"; vLanguage["Type"] = "Typ Beweis"; vLanguage["Theorem"] = "Satz"; vLanguage["Theorem_Title"] = "Bezeichnung des Satzes"; vLanguage["undefined"] = "undefiniert"; vLanguage["unnecessary"] = "unnötig"; vLanguage["Unnecessary"] = "Unnötige"; vLanguage["Use"] = "Verwenden Sie"; vLanguage["USED"] = "VERWENDET"; vLanguage["Variables"] = "Variablen"; vLanguage["with"] = "mit"; vLanguage["without"] = "ohne"; vLanguage["use_of_help"] =" die Einbeziehung der verwendeten Beweishilfen"; vLanguage["RIGHT"] = "(r)"; vLanguage["WRONG"] = "(f)"; vLanguage["JUSTIFICATION_MISSING"] = "(ff)"; vLanguage["JUSTIFICATION_UNNECESSARY"] = "(fu)"; //------------ vLanguageSelect["DE"] = vLanguage; //----Language English-------- var vLanguage = new Array(); vLanguage["All"] = "All"; vLanguage["and"] = "and"; vLanguage["appended"] = "appended"; vLanguage["Append_Step"] = "Append Step"; vLanguage["Average"] = "Average"; vLanguage["Application_of"] = "Application of"; vLanguage["are_missing"] = "are missing"; vLanguage["as_Precondition"] = "as Precondition"; vLanguage["Assessment"] = "Assessment"; vLanguage["between"] = "between"; vLanguage["by"] = "by"; vLanguage["Cancel"] = "Cancel"; vLanguage["Comment"] = "Comment"; vLanguage["Complete"] = "Complete"; vLanguage["Conclusion"] = "Conclusion"; vLanguage["Conclusion_Multi"] = "Proof the following Conclusions:"; vLanguage["Conclusion_Single"] = "Proof, that the following Conclusion is valid as logical consequence of the premises:"; vLanguage["Connection"] = "Connection"; vLanguage["connected"] = "connected"; vLanguage["Correct"] = "Correct"; vLanguage["Deduction_Points"] = "Deduction of Points"; vLanguage["Delete"] = "Delete"; vLanguage["Delete_Prompt"] = "Do you want to delete the following Fragement of the Proof?"; vLanguage["Deleted_ProofSteps"] = "Unused Fragments of the Proof"; vLanguage["Delete_Proof"] = "Delete Proof"; vLanguage["Deleted"] = "deleted"; vLanguage["Display"] = "Display"; vLanguage["does_not_exist"] = "does not exist"; vLanguage["Edit_Proof"] = "Edit Proof"; vLanguage["End_of"] = "End of"; vLanguage["Equality"] = "Equality"; vLanguage["Errors"] = "Errors"; vLanguage["Example"] = "Example"; vLanguage["for"] = "for"; vLanguage["greater_equal"] = "greater equal"; vLanguage["greater"] = "greater than"; vLanguage["Help"] = "Suggestions"; vLanguage["HelpPage"] = "Help"; vLanguage["Hide"] = "Hide"; vLanguage["impossible"] = "impossible"; vLanguage["in_ProofStep"] = "in Proof Step"; vLanguage["Implication"] = "Implication"; vLanguage["Instead_of"] = "instead of"; vLanguage["is_missing"] = "is missing"; vLanguage["Justification"] = "Justification"; vLanguage["Justifications"] = "Justifications"; vLanguage["Link_ProofSteps"] = "Link between Proof Steps"; vLanguage["Load"] = "Load"; vLanguage["logical"] = "logical"; vLanguage["logically"] = "logically"; vLanguage["lower_equal"] = "lower equal"; vLanguage["lower"] = "lower than"; vLanguage["necessary"] = "necessary"; vLanguage["need_a_previous_proofstep"] = "needs a previous proof step before current step"; vLanguage["manual"] = "manual"; vLanguage["MinimalProofSteps"] = "For a correct proof the author suggests the following minimal number of proof steps:"; vLanguage["missing"] = "missing"; vLanguage["Missing"] = "Missing"; vLanguage["MULTIPLE_USED"] = "USED MULTIPLE TIMES"; vLanguage["need_a_previous_proofstep"] = "needs a previous proof step before"; vLanguage["New"] = "New"; vLanguage["next"] = "next"; vLanguage["next_n"] = "next"; vLanguage["No_connection_to_next"] = "There is no suggestion for a susequent proof step!"; vLanguage["No_connection_to_previous"] = "No connection to previous step!"; vLanguage["no_dependency"] = "no dependency"; vLanguage["None"] = "None"; vLanguage["not"] = "not"; vLanguage["not_possible_at_first_step"] = "not possible as first step!"; vLanguage["Number_of"] = "Number of"; vLanguage["of"] = "of"; vLanguage["Option"] = "Option"; vLanguage["or"] = "or"; vLanguage["Own_ProofStep"] = "Self-defined Proof Step"; vLanguage["Points"] = "Points"; vLanguage["Position"] = "Order"; vLanguage["Precondition"] = "Precondition"; vLanguage["Preconditions"] = "Preconditions"; vLanguage["Precondition_Multi"] = "Preconditions of the Proof: "; vLanguage["Precondition_Single"] = "Precondition of the Proof: "; vLanguage["previous"] = "previous"; vLanguage["previous_n"] = "previous"; vLanguage["previous_step"] = "Previous Step"; vLanguage["Proof"] = "Proof"; vLanguage["Proof_Input"] = "Enter Proof"; vLanguage["ProofStep"] = "Fragment of Proof"; vLanguage["ProofSteps"] = "Fragments of Proof"; vLanguage["ProofSequence"] = "Sequence of Steps"; vLanguage["ProofType"] = "Type of Proof"; vLanguage["Questionmark"] = "?"; vLanguage["Remark"] = "Remark"; vLanguage["Remove"] = "Remove "; vLanguage["replace"] = "replace"; vLanguage["Reset_Prompt"] = "Do you want to delete all proof steps?"; vLanguage["Save"] = "Save"; vLanguage["Select_Answer"] = "Please Select Answer"; vLanguage["select"] = " select"; vLanguage["Selected"] = "Possible"; vLanguage["Selected_Precondition"] = "Selected Precondition for Justification"; vLanguage["Selection"] = "Selection"; vLanguage["Selection_of"] = "Selection of"; vLanguage["Self_Defined"] = "Self-defined"; vLanguage["Short"] = "Short"; vLanguage["should_be"] = "should be"; vLanguage["Solution"] = "Solution"; vLanguage["Step"] = "Step"; vLanguage["Step_for"] = "Step for"; vLanguage["Step_No"] = "Step-No"; vLanguage["Subset"] = "Subset"; vLanguage["Suggestion"] = "Suggestion"; vLanguage["Suggestions"] = "Suggestions"; vLanguage["Theorem"] = "Theorem"; vLanguage["Theorem_Title"] = "Title of Theorem"; vLanguage["Type"] = "Type of Proof"; vLanguage["undefined"] = "undefined"; vLanguage["unnecessary"] = "unnecessary"; vLanguage["Unnecessary"] = "Unnecessary"; vLanguage["Use"] = "Use"; vLanguage["USED"] = "USED"; vLanguage["with"] = "with"; vLanguage["without"] = "without"; vLanguage["use_of_help"] =" the use of provided Help and e-Proof-Support"; vLanguage["Variables"] = "Variables"; vLanguage["RIGHT"] = "(r)"; vLanguage["WRONG"] = "(w)"; vLanguage["JUSTIFICATION_MISSING"] = "(jm)"; vLanguage["JUSTIFICATION_UNNECESSARY"] = "(ju)"; vLanguageSelect["EN"] = vLanguage;