diff --git a/src/main/resources/language/translation_de.properties b/src/main/resources/language/translation_de.properties index 2f2d3f3..ab90777 100644 --- a/src/main/resources/language/translation_de.properties +++ b/src/main/resources/language/translation_de.properties @@ -3,7 +3,7 @@ root.save=Speichern root.copyLatex=Kopiere Latex-Code root.selectExample=Beispiel auswählen: root.typeInfer=Typisieren -root.operatingHelp=Bedienhilfen +root.operatingHelp=Hilfe root.inputSyntax=Eingabe-Syntax root.inferenceRules=Ableitungsregeln root.absRule=Abs-Regel @@ -70,7 +70,7 @@ Typherleitungsbaums des eingegebenen Terms und die benötigen Pakete zum Einbind Zusätzlich dazu enthält der Dialog einen Permalink zur aktuellen Seite, der sowohl den Term als auch die Typannahmen \ kodiert. root.TOO_FEW_TOKENS=Falsche Eingabe! Der Term endet abrupt. -root.tooFewTokensHelp=Überprüfen Sie, ob alle Let-, Abs- und App-Terme über die nötigen Argumente verfügen. +root.tooFewTokensHelp=Überprüfe, ob alle Let-, Abs- und App-Terme über die nötigen Argumente verfügen. root.UNEXPECTED_TOKEN=Der Term entspricht nicht der im Info-Dialog spezifizierten Syntax! root.UNEXPECTED_CHARACTER=Der Term enhält ein Zeichen, welches an dieser Stelle nicht erlaubt ist! root.wrongCharacter=Falsches Zeichen: \u0020 @@ -79,7 +79,7 @@ root.slideExp=Typicalc ist eine Anwendung zur Visualisierung von Typinferenz. In Beispielszenario mit den wichtigsten Funktionen der Website vorgeführt. Das relevante Bedienelement ist jeweils mit \ einem roten Rahmen hervorgehoben. Zwischen einzelnen Slides kann mithilfe der Knöpfe am unteren Ende der Seite \ navigiert werden. -root.linkText=Weitere Informationen zur Typinferenz finden Sie \u0020 +root.linkText=Weitere Informationen zur Typinferenz findest du \u0020 root.link=https://de.wikipedia.org/wiki/Typinferenz_nach_Hindley-Milner root.here=hier root.image1=/carousel/EnterTerm.png diff --git a/src/main/resources/language/translation_en.properties b/src/main/resources/language/translation_en.properties index 4ef831e..19fe514 100644 --- a/src/main/resources/language/translation_en.properties +++ b/src/main/resources/language/translation_en.properties @@ -3,7 +3,7 @@ root.save=Save root.copyLatex=Copy latex code root.selectExample=Select example: root.typeInfer=Type -root.operatingHelp=Operating Help +root.operatingHelp=Help root.inputSyntax=Input Syntax root.inferenceRules=Inference Rules root.absRule=Abs rule