optimize texts

src/main/resources/language/translation_de.properties

@@ -84,7 +84,9 @@ root.helpInferenceViewFeatures=Wurde ein Term erfolgreich typisiert, werden der
   Bei der Unifikation werden dann die sich verändernden Stellen in den Constraints in jedem Schritt farblich \
   hervorgehoben. Kommt im eingegebenen Term let-Polymorphismus vor, wird im Constraint-Feld zunächst \
   die Unifikation der Constraints vom let-Teilbaum durchgeführt, bevor der Baum weiter aufgebaut wird. \
-  Mit \u03C3 wird am Ende der allgemeinste Unifikator angegeben, mit \u03C3(\u03B1\u2081) der finale Typ des Terms.
+  Schlägt solch eine Teilunifikation oder auch die äußerste Unifikation fehl, wird der gesamte Algorithmus \
+  abgebrochen. Mit \u03C3 wird am Ende der allgemeinste Unifikator angegeben, mit \u03C3(\u03B1\u2081) der \
+  finale Typ des Terms.
 help.typicalcInfo=\
 Typicalc wurde als PSE-Projekt am KIT im WS20/21 entwickelt von<br>\
   Robin Böhne<br>\
@@ -134,8 +136,8 @@ root.image5=/carousel/NavigateTree.png
 root.text5=Die Knöpfe am unteren Ende der Seite werden verwendet, um zwischen einzelnen Schritten des Algorithmus \
 zu wechseln.
 root.image6=/carousel/EndOfTree.png
-root.text6=Am Ende des Algorithmus sind der MGU, der finale Typ der Eingabe und der finale Herleitungsbaum \
-zu sehen.
+root.text6=Am Ende des Algorithmus sind der allgemeinste Unifikator, der finale Typ und der finale Herleitungsbaum \
+der Eingabe zu sehen.
 root.image7=/carousel/OpenExportDialog.png
 root.text7=Der Teilen-Knopfs wird betätigt, um das entsprechende Dialogfenster zu öffnen.
 root.image8=/carousel/UseExportDialog.png

src/main/resources/language/translation_en.properties

@@ -78,8 +78,8 @@ root.helpInferenceViewFeatures=When a term is successfully type inferred, the in
   pressed left mouse button. While the tree is building up, the resulting constraints build up simultaneously in the \
   field above. During the unification, the modified constraints are then highlighted in each step. \
   If the entered term contains let polymorphism, the constraints of the let sub-tree are unified before further \
-  steps in the tree are shown. At the end, the most general unifier is displayed as \u03C3 and the final type \
-  as \u03C3(\u03B1\u2081).
+  steps in the tree are shown. If such a sub-unification or the outermost unification fails, the whole algorithm is \
+  cancelled. At the end, the most general unifier is displayed as \u03C3 and the final type as \u03C3(\u03B1\u2081).
 help.typicalcInfo=\
 Typicalc was developed as a PSE project at the KIT in WS20/21 by<br>\
   Robin Böhne<br>\
@@ -112,14 +112,14 @@ root.text4=The type button is clicked to start the type inference algorithm.
 root.image5=/carousel/NavigateTree.png
 root.text5=The buttons at the bottom of the website can be used to navigate through the steps of the algorithm.
 root.image6=/carousel/EndOfTree.png
-root.text6=At the end of the algorithm the MGU, the final type and the final tree of the entered term are being \
-displayed.
+root.text6=At the end of the algorithm the most general unifier, the final type and the final tree of the \
+entered term are being displayed.
 root.image7=/carousel/OpenExportDialog.png
 root.text7=The share button is clicked to open up the corresponding dialog.
 root.image8=/carousel/UseExportDialog.png
 root.text8=The dialog contains a permalink to the current page, the LaTeX-code of the tree and the packages needed \
 to compile the code.
-root.correctAssumptions=Correct or delete the invalid type assumptions (red background) before closing the dialog. 
+root.correctAssumptions=Correct or delete the invalid type assumptions (red background) before closing the dialog.
 root.copyLatexTooltip=Copy LaTeX code
 root.helpIconTooltip=Help and language switch
 root.exampleTooltip=Example terms