Skip to content
GitLab
Explore
Sign in
general
stups
ProB 2 Jupyter Kernel
Issues
#16
Implement Jupyter code completion
Inside B expressions/predicates
Keywords
Identifiers
For commands
Command names
Command arguments, if possible
Edited
Jun 21, 2018
by
dgelessus