From 78bb732541bb53f5fc1347f97983f4fcde27718c Mon Sep 17 00:00:00 2001 From: Robin Date: Fri, 3 Sep 2021 00:52:49 +0200 Subject: [PATCH] Consistent spelling --- src/main/resources/language/translation_en.properties | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 \