Skip to content
GitLab
Explore
Sign in
general
stups
ProB 2 Jupyter Kernel
Repository
prob2-jupyter-kernel
..
commands
TableCommand.java
Find file
Blame
History
Permalink
Use new ProB 2 APIs for getting visualization commands by name
· 0c62d6a5
dgelessus
authored
Dec 08, 2020
0c62d6a5