diff --git a/src/main/resources/language/translation_en.properties b/src/main/resources/language/translation_en.properties index 278cfb6..97d570f 100644 --- a/src/main/resources/language/translation_en.properties +++ b/src/main/resources/language/translation_en.properties @@ -86,7 +86,7 @@ root.helpInferenceViewFeatures=When a term is successfully type inferred, the in 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\ +Typicalc was developed as a PSE project at \ the KIT in WS 20/21 by
\ Robin Böhne
\ Moritz Dieing
\