arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-09 10:50:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

Correct typo

Browse Source
This commit is contained in:
Moritz Dieing 2021-07-11 12:02:54 +02:00
parent 0cf0333289
commit ca2ea6c277
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/main/resources/language/translation_en.properties
View File

@ -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 \ 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). cancelled. At the end, the most general unifier is displayed as \u03C3 and the final type as \u03C3(\u03B1\u2081).
help.typicalcInfo=\ help.typicalcInfo=\
<a href="https://git.scc.kit.edu/pse-typinferenz/typicalc">Typicalc</a> was developed as a PSE project at\ <a href="https://git.scc.kit.edu/pse-typinferenz/typicalc">Typicalc</a> was developed as a PSE project at \
the KIT in WS 20/21 by<br>\ the KIT in WS 20/21 by<br>\
Robin Böhne<br>\ Robin Böhne<br>\
Moritz Dieing<br>\ Moritz Dieing<br>\