You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The documentation string "Documentation" is only recognized when no newline is between it and the end of model M:
It's possible to use a begin and end rule key to find the model M and end M; parts. Then a way to catch the first string in between is needed to tell, that it is a documentation string.
The text was updated successfully, but these errors were encountered:
The documentation string
"Documentation"
is only recognized when no newline is between it and the end ofmodel M
:It's possible to use a
begin
andend
rule key to find themodel M
andend M;
parts. Then a way to catch the first string in between is needed to tell, that it is a documentation string.The text was updated successfully, but these errors were encountered: