diff --git a/src/main/resources/language/translation_en.properties b/src/main/resources/language/translation_en.properties index ad65b15..d3626db 100644 --- a/src/main/resources/language/translation_en.properties +++ b/src/main/resources/language/translation_en.properties @@ -193,7 +193,7 @@ share.latexTree.label=LaTeX code (whole inference tree) share.packagesUnification.label=Packages (unification/MGU) share.latexUnification.label=LaTeX code (current step in unifcation/MGU) -root.explanationTexts=Algorithm steps +root.explanationTexts=Algorithm Steps explanationTree.initial=At the beginning of the algorithm the type variable %1% is assigned to the input %0%. \ In the following steps the type of %1% will be determined gradually. explanationTree.varStep=The current expression %0% is a variable. Therefore the var rule is applied to the variable \