English: less hyphens

This commit is contained in:
Arne Keller 2021-02-17 18:10:15 +01:00
parent f362f7f56a
commit b2a11617c1

View File

@ -28,12 +28,12 @@ root.message404=Try /infer/<term> or type your favourite term into the input fie
root.drawer=Drawer root.drawer=Drawer
root.example=Examples root.example=Examples
root.inputField=Input Field root.inputField=Input Field
root.typeInferButton=Type-Button root.typeInferButton=Type Button
root.firstStepButton=First-Step-Button root.firstStepButton=First-Step Button
root.previousStepButton=Previous-Step-Button root.previousStepButton=Previous-Step Button
root.nextStepButton=Next-Step-Button root.nextStepButton=Next-Step Button
root.lastStepButton=Last-Step-Button root.lastStepButton=Last-Step Button
root.shareButton=Share-Button root.shareButton=Share Button
root.helpDrawer=Clicking on the button opens up the drawer. The drawer contains a collection of all type inference \ 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. 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 \ root.helpExample=Clicking on the button opens up the example dialog. After clicking on an example the corresponding \