Replies: 1 comment 1 reply
-
|
at step #9, the UML diagram is not displayed |
Beta Was this translation helpful? Give feedback.
1 reply
-
|
Same here: vscode 1.88.1, ubuntu 22.04 |
Beta Was this translation helpful? Give feedback.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
We are experimenting with different forms of tutorials for Quint. If you have finished the tutorial, please let us know, which kind of the tutorial you like better: the CodeTour tutorial, the Markdown tutorial, or both.
If you have any further suggestions about improving the tutorial, please leave a comment below.
11 votes ·
Beta Was this translation helpful? Give feedback.
All reactions