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

highlight 'highlighted'

Browse Source
This commit is contained in:
Johanna Stuber 2021-03-04 19:17:55 +01:00
parent 3acdc46bef
commit 22adbfe1c6
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/main/resources/language/translation_de.properties
View File

@ -113,9 +113,9 @@ root.absLetLatex=\
\\end{prooftree} \\end{prooftree}
root.infinite_type = Der eingegebene Term ist nicht typisierbar: \ root.infinite_type = Der eingegebene Term ist nicht typisierbar: \
Durch den hervorgehobenen Constraint würde sich ein unendlicher Typ ergeben! Durch den {\\color{#f00}hervorgehobenen} Constraint würde sich ein unendlicher Typ ergeben!
root.different_types = Der eingegebene Term ist nicht typisierbar: \ root.different_types = Der eingegebene Term ist nicht typisierbar: \
In dem hervorgehobenen Constraint werden zwei unvereinbare Typen gleichgesetzt! In dem {\\color{#f00}hervorgehobenen} Constraint werden zwei unvereinbare Typen gleichgesetzt!
share.heading=Teilen share.heading=Teilen
share.url.label=URL share.url.label=URL

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

@ -106,9 +106,9 @@ root.absLetLatex=\
\\end{prooftree} \\end{prooftree}
root.infinite_type = The entered term cannot be typed: \ root.infinite_type = The entered term cannot be typed: \
The highlighted constraint would cause an infinite type! The {\\color{#f00}highlighted} constraint would cause an infinite type!
root.different_types = The entered term cannot be typed: \ root.different_types = The entered term cannot be typed: \
The highlighted constraint contains two incompatible types! The {\\color{#f00}highlighted} constraint contains two incompatible types!
share.heading=Share share.heading=Share
share.url.label=URL share.url.label=URL