From 5ddfb355c25f7acd3cecf75b6f56ed80f06ebb0c Mon Sep 17 00:00:00 2001
From: Moritz Dieing <63721811+moritzdieing@users.noreply.github.com>
Date: Mon, 5 Jul 2021 21:16:47 +0200
Subject: [PATCH] Update info dialog

---
 src/main/resources/language/translation_de.properties | 4 ++--
 src/main/resources/language/translation_en.properties | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/main/resources/language/translation_de.properties b/src/main/resources/language/translation_de.properties
index c856e58..d8b4c79 100644
--- a/src/main/resources/language/translation_de.properties
+++ b/src/main/resources/language/translation_de.properties
@@ -19,8 +19,8 @@ root.typeInputFieldPlaceholder=Typannahmen hier eingeben. Ein '!' wird zu '∀'
 root.absRuleLet=Abs-Regel mit Let
 root.varRuleLet=Var-Regel mit Let
 root.termExplanation=Die folgende Grammatik beschreibt den Aufbau eines gültigen Terms:
-root.assExplanation=Im Typannahmen-Eingabefeld werden einzelne Typannahmen durch ein Semikolon \
-(<span style="font-family: Arial Black">;</span>)<br>voneinander getrennt. Variable und Typ einer Typannahme werden \
+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 \
 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.typeAssumptions=Typannahmen
diff --git a/src/main/resources/language/translation_en.properties b/src/main/resources/language/translation_en.properties
index 94da0c6..4778fc8 100644
--- a/src/main/resources/language/translation_en.properties
+++ b/src/main/resources/language/translation_en.properties
@@ -19,8 +19,8 @@ root.varRuleLet=Var rule with Let
 root.inputFieldPlaceholder=Enter term here. A '\\' is converted to '\u03BB'.
 root.typeInputFieldPlaceholder=Enter type assumptions here. A '!' is converted to '∀'.
 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 \
-(<span style="font-family: Arial Black">;</span>).<br> The variable and type of a type assumption are separated by a colon \
+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>).
 root.typeExplanation=The following grammar specifies the syntax of a valid type:
 root.typeAssumptions=Type Assumptions