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
Tags
Tags give the ability to mark specific points in history as being important
v1.4.1
d65a7672
·
Release version 1.4.1
·
May 03, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v1.4.0
5092a354
·
Release version 1.4.0
·
Apr 25, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v1.3.0
fc6109a5
·
Release version 1.3.0
·
Jan 06, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v1.2.0
b925e6be
·
Release version 1.2.0
·
May 18, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v1.1.0
088e9cc9
·
Fix Git not being installed on GitLab CI
·
Feb 27, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v1.0.0
db95b483
·
Release version 1.0.0
·
Aug 29, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar