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
Also recognize special machine names without .mch in error highlighting
· f5e74fb7
dgelessus
authored
Sep 09, 2020
f5e74fb7