Skip to content
GitLab
Explore
Sign in
general
stups
ProB 2 Jupyter Kernel
Issues
#15
Allow displaying/browsing current state
This should include:
The current machine
Available operations
Machine sets, variables, etc. (with or without values?)
Variables defined with let (
#12
)
Possibly a way to search for things by name
Edited
May 16, 2018
by
dgelessus