Commit 78bb7325 authored by Robin's avatar Robin
Browse files

Consistent spelling

parent 43d35066
Pipeline #166459 passed with stages
......@@ -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 \
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment