diff --git a/src/main/resources/language/translation_de.properties b/src/main/resources/language/translation_de.properties index a243c0a..99f4534 100644 --- a/src/main/resources/language/translation_de.properties +++ b/src/main/resources/language/translation_de.properties @@ -25,12 +25,12 @@ root.type=Typ root.drawer=Drawer root.example=Beispiele root.inputField=Eingabefeld -root.typeInferButton=Typisieren Knopf -root.firstStepButton=Erster-Schritt Knopf -root.previousStepButton=Vorheriger-Schritt Knopf -root.nextStepButton=Nächster-Schritt Knopf -root.lastStepButton=Letzter-Schritt Knopf -root.shareButton=Teilen Knopf +root.typeInferButton=Typisieren-Knopf +root.firstStepButton=Erster-Schritt-Knopf +root.previousStepButton=Vorheriger-Schritt-Knopf +root.nextStepButton=Nächster-Schritt-Knopf +root.lastStepButton=Letzter-Schritt-Knopf +root.shareButton=Teilen-Knopf root.helpDrawer=Durch Benutzen des Knopfs öffnet sich der Drawer. \ Im Drawer ist eine Auflistung aller Typinferenzregeln zu finden. \ Außerdem kann mit dem Kopieren-Knopfs der Latex-Code der Regel in die Zwischenablage kopiert werden. diff --git a/src/main/resources/language/translation_en.properties b/src/main/resources/language/translation_en.properties index cad3c57..11b64af 100644 --- a/src/main/resources/language/translation_en.properties +++ b/src/main/resources/language/translation_en.properties @@ -27,12 +27,12 @@ root.message404=Try /infer/ or type your favourite term into the input fie root.drawer=Drawer root.example=Examples root.inputField=Input Field -root.typeInferButton=Type Button -root.firstStepButton=First Step Button -root.previousStepButton=Previous Step Button -root.nextStepButton=Next Step Button -root.lastStepButton=Last Step Button -root.shareButton=Share Button +root.typeInferButton=Type-Button +root.firstStepButton=First-Step-Button +root.previousStepButton=Previous-Step-Button +root.nextStepButton=Next-Step-Button +root.lastStepButton=Last-Step-Button +root.shareButton=Share-Button root.helpDrawer=Clicking on the button opens up the drawer. The drawer contains a collection of all type inference \ rules. By clicking on the copy button the LaTeX code of the corresponding rule is copied to the clipboard. root.helpExample=Clicking on the button opens up the example dialog. After clicking on an example the corresponding \