diff --git a/sks/1_B_Sprache.ipynb b/sks/1_B_Sprache.ipynb index 01dff5d9f6b08d96b6a4407f77903b5b19005e7e..282ecf1743106227ecd68b6e58a13765db9e3b94 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." ] }, {