Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
general
stups
ProB 2 Jupyter Kernel
Repository
Branches
Overview
Active
Stale
All
Active branches
master
default
protected
baa3816e
·
Update ProB Java API to version 4.12.2-SNAPSHOT
·
May 15, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Stale branches
let_variables
merged
80690b54
·
Add :let and :unlet commands to create and remove local variables
·
Jul 16, 2018
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
exec_auto_adjust_trace
3c030656
·
Make :exec/:init/:constants automatically move in trace as needed
·
Jul 22, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar