Skip to content
GitLab
Explore
Sign in
general
stups
ProB Rodin Plugin
Repository
Branches
Overview
Active
Stale
All
develop
default
protected
47914c41
·
Add more specific descriptions for the individual features
·
Feb 28, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
protected
68c52b89
·
Merge branch 'develop'
·
Feb 27, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
rodin2
b4001b57
·
update dependencies to fix build
·
Apr 28, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
rodin3
80b9b06f
·
update dependencies
·
Mar 28, 2014
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
feature/theory_plugin
ce1a74f1
·
Added handling for missing theory plugin
·
Mar 08, 2013
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
feature/multiview
27fe06e4
·
Merge branch 'develop' into feature/multiview
·
Jan 08, 2013
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
csp
c2e3162c
·
removed unnecessary file.
·
Dec 17, 2012
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
feature/newcore
0963f278
·
work on newcore, most likely trash
·
Sep 03, 2012
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
feature/csp
db2ef794
·
merged
·
Dec 14, 2011
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar