From 50d57e8c3ca9add7ec135dbc9565f39da5bef256 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Mon, 18 Oct 2021 16:10:40 +0200
Subject: [PATCH] add comment about :language event_b
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
---
sks/1_B_Sprache.ipynb | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/sks/1_B_Sprache.ipynb b/sks/1_B_Sprache.ipynb
index 01dff5d..282ecf1 100644
--- a/sks/1_B_Sprache.ipynb
+++ b/sks/1_B_Sprache.ipynb
@@ -197,7 +197,9 @@
"metadata": {},
"source": [
"In Rodin wird `**` für das kartesische Produkt verwendet, im klassischen B verwendet man dafür `*`.\n",
- "Wir laden jetzt ein leeres Event-B Modell um den Parser in den Event-B Modus zu wechseln."
+ "Wir laden jetzt ein leeres Event-B Modell um den Parser in den Event-B Modus zu wechseln.\n",
+ "Man kann auch das Kommando ```:language event_b``` verwenden um den Parser umzustellen.\n",
+ "Mit ```:language classical_b``` kann man zurück zum normalen B Parser wechseln."
]
},
{
--
GitLab