Skip to content
GitLab
Explore
Sign in
general
stups
ProB 2 Jupyter Kernel
Repository
prob2-jupyter-kernel
..
jupyter
ProBKernel.java
Find file
Blame
History
Permalink
Display pretty operation names in operation execution output
· bc7eafab
dgelessus
authored
Jul 02, 2020
bc7eafab