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

Update info dialog

Browse Source
This commit is contained in:
Moritz Dieing 2021-07-05 21:16:47 +02:00
parent 60235bd757
commit 5ddfb355c2
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

@ -19,8 +19,8 @@ root.typeInputFieldPlaceholder=Typannahmen hier eingeben. Ein '!' wird zu '∀'
root.absRuleLet=Abs-Regel mit Let root.absRuleLet=Abs-Regel mit Let
root.varRuleLet=Var-Regel mit Let root.varRuleLet=Var-Regel mit Let
root.termExplanation=Die folgende Grammatik beschreibt den Aufbau eines gültigen Terms: root.termExplanation=Die folgende Grammatik beschreibt den Aufbau eines gültigen Terms:
root.assExplanation=Im Typannahmen-Eingabefeld werden einzelne Typannahmen durch ein Semikolon \ root.assExplanation=Im Typannahmen-Eingabefeld werden einzelne Typannahmen durch ein Komma \
(<span style="font-family: Arial Black">;</span>)<br>voneinander getrennt. Variable und Typ einer Typannahme werden \ (<span style="font-family: Arial Black">,</span>)<br>voneinander getrennt. Variable und Typ einer Typannahme werden \
durch einen<br>Doppelpunkt (<span style="font-family: Arial Black">:</span>) separiert. durch einen<br>Doppelpunkt (<span style="font-family: Arial Black">:</span>) separiert.
root.typeExplanation=Die folgende Grammatik beschreibt die Syntax eines gültigen Typs: root.typeExplanation=Die folgende Grammatik beschreibt die Syntax eines gültigen Typs:
root.typeAssumptions=Typannahmen root.typeAssumptions=Typannahmen

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

@ -19,8 +19,8 @@ root.varRuleLet=Var rule with Let
root.inputFieldPlaceholder=Enter term here. A '\\' is converted to '\u03BB'. root.inputFieldPlaceholder=Enter term here. A '\\' is converted to '\u03BB'.
root.typeInputFieldPlaceholder=Enter type assumptions here. A '!' is converted to '∀'. root.typeInputFieldPlaceholder=Enter type assumptions here. A '!' is converted to '∀'.
root.termExplanation=The following grammar specifies the structure of a valid term: root.termExplanation=The following grammar specifies the structure of a valid term:
root.assExplanation=In the type assumption input field, type assumptions are separated by a semicolon \ root.assExplanation=In the type assumption input field, type assumptions are separated by a comma \
(<span style="font-family: Arial Black">;</span>).<br> The variable and type of a type assumption are separated by a colon \ (<span style="font-family: Arial Black">,</span>).<br> The variable and type of a type assumption are separated by a colon \
(<span style="font-family: Arial Black">:</span>). (<span style="font-family: Arial Black">:</span>).
root.typeExplanation=The following grammar specifies the syntax of a valid type: root.typeExplanation=The following grammar specifies the syntax of a valid type:
root.typeAssumptions=Type Assumptions root.typeAssumptions=Type Assumptions