Commit 50d57e8c authored by Michael Leuschel's avatar Michael Leuschel
Browse files

add comment about :language event_b


Signed-off-by: default avatarMichael Leuschel <leuschel@uni-duesseldorf.de>
parent 56305031
......@@ -109,10 +109,12 @@
%% Cell type:markdown id: tags:
In Rodin wird `**` für das kartesische Produkt verwendet, im klassischen B verwendet man dafür `*`.
Wir laden jetzt ein leeres Event-B Modell um den Parser in den Event-B Modus zu wechseln.
Man kann auch das Kommando ```:language event_b``` verwenden um den Parser umzustellen.
Mit ```:language classical_b``` kann man zurück zum normalen B Parser wechseln.
%% Cell type:code id: tags:
``` prob
:load models/empty_ctx.eventb
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment