Add hyphens

This commit is contained in:
Moritz Dieing 2021-02-17 17:10:29 +01:00
parent a2b4a06e50
commit 13d935814d
2 changed files with 12 additions and 12 deletions

View File

@ -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.

View File

@ -27,12 +27,12 @@ root.message404=Try /infer/<term> 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 \