typos, kleine Änderungen nach Testerrückmeldung

src/main/resources/language/translation_de.properties

@@ -24,7 +24,7 @@ root.variable=Variable
 root.type=Typ
 root.title404=404 - Seite nicht gefunden
 root.message404=Versuche /infer/<term> oder gebe deinen Lieblingsterm in das Eingabefeld ein
-root.drawer=Drawer
+root.drawer=Drawer (Ableitungsregeln)
 root.example=Beispiele
 root.inputField=Eingabefeld
 root.typeInferButton=Typisieren-Knopf
@@ -40,8 +40,8 @@ root.helpExample=Durch Benutzen des Knopfs öffnet sich der Beispiel-Dialog. \
 Nach Anklicken wird der jeweilige Beispielterm in das Eingabefeld eingefügt. \
 Der Term kann nun nach Belieben angepasst oder direkt typisiert werden.
 root.helpInputField=In das Eingabefeld können Lambda-Terme mit einer Länge von bis zu 1000 Zeichen eingegeben werden. \
-Das λ-Zeichen kann dabei entweder durch Klicken des λ-Knopfs oder durch Eingabe eines umgekehrten Schrägstrichs an \
-der aktuellen Cursorposition eingefügt werden. Durch Klicken des Info-Symbols wird die korrekte Syntax eines Terms \
+Das λ-Zeichen kann dabei entweder durch Klicken des λ-Knopfs oder durch Eingabe eines Backslashs \
+eingefügt werden. Durch Klicken des Info-Symbols wird die korrekte Syntax eines Terms \
 angezeigt.
 root.helpTypeAssumptions=Durch Klicken des Typannahmen-Knopfs öffnet sich ein Dialog zur Eingabe von Typannahmen. \
 Durch Klicken des Info-Symbols wird die korrekte Syntax des Typs einer Typannahme angezeigt. Sofern eine Variable in \
@@ -62,7 +62,7 @@ root.helpNextStepButton=Durch Benutzen des Nächster-Schritt-Knopfs wird der nä
 Der Knopf lässt sich außerdem durch auf der Tastatur durch die Taste "Rechte Pfeiltaste" ansprechen.
 root.helpLastStepButton=Je nach Stand der Algorithmusausführung ändert sich die Funktion des Knopfs. \
 Wenn aktuell der Baum aufgebaut wird, springt die Anzeige nach Klicken des Knopfs vor zum letzten Schritt des \
-Typherleitungsbaums. Wenn bereits die Unifikation druchgeführt wird, sprigt die Anzeige nach Klicken des Knopfs \
+Typherleitungsbaums. Wenn bereits die Unifikation druchgeführt wird, springt die Anzeige nach Klicken des Knopfs \
 vor zur Anzeige des finalen Typs. Der Knopf lässt sich außerdem durch die Tastenkombination \
 "STRG + Rechte Pfeiltaste" ansprechen.
 root.helpShareButton=Durch Benutzen des Teilen-Knopfs öffnet sich ein Dialog, in dem der LaTeX-Code des finalen \

src/main/resources/language/translation_en.properties

@@ -24,7 +24,7 @@ root.variable=Variable
 root.type=Type
 root.title404=404 - Not Found
 root.message404=Try /infer/<term> or type your favourite term into the input field
-root.drawer=Drawer
+root.drawer=Drawer (type inference rules)
 root.example=Examples
 root.inputField=Input Field
 root.typeInferButton=Type Button
@@ -39,8 +39,8 @@ root.helpExample=Clicking on the button opens up the example dialog. After click
 term is inserted into the input field. Now either the type inference algorithm can be started or the term can be \
 modified.
 root.helpInputField=The input field allows the user to enter lambda terms with a maximum length of 1000 characters. \
-The λ character can be inserted at the current cursor position by either clicking the λ button or entering a \
-backslash. By clicking on the info icon the grammar defining the valid input syntax is shown.
+The λ character can be inserted by either clicking the λ button or entering a backslash. \
+By clicking on the info icon the grammar defining the valid input syntax is shown.
 root.helpTypeAssumptions=Clicking on the type assumptions button opens up a dialog to enter type assumptions. \
 By clicking the icon symbol the grammar defining a valid type of a type assumption is shown. If the same variable \
 is contained in multiple type assumptions, only the uppermost type assumption containing the variable is used for \
@@ -67,7 +67,7 @@ This link encodes the current term as well as the current type assumptions.
 root.TOO_FEW_TOKENS=Wrong input! The term ends abruptly.
 root.tooFewTokensHelp=Check if all let, abstraction and application terms consist of the required arguments.
 root.UNEXPECTED_TOKEN=The input does not match the syntax specified in the info dialog.
-root.UNEXPECTED_CHARACTER=The input contains a characters which is not allowed at this position.
+root.UNEXPECTED_CHARACTER=The input contains a character which is not allowed at this position.
 root.wrongCharacter=Wrong character: \u0020
 root.position=At Position: \u0020
 root.slideExp=Typicalc is an application for the visualisation of type inference. The slideshow below the text \