Skip to content
GitLab
Explore
Sign in
Tags
Tags give the ability to mark specific points in history as being important
v8.1.0
05681455
·
version 8.1.0
·
Apr 30, 2018
v8.0.0
24344279
·
V8.0.0
·
Apr 24, 2018
Release:
v8.0.0
v7.0.0
6fcb81ae
·
Bump to jpf version 7.0.0
·
Apr 24, 2017
Release:
v7.0.0
v7.0.0-m1
216f970e
·
Bump to 7.0.0-M1
·
Apr 23, 2017
Release:
v7.0.0-m1
v6.5.0
43aac19d
·
Bump version to 6.5.0
·
Apr 11, 2017
Release:
v6.5.0
v6.4.0
84be68a2
·
Merge pull request #70 from SERG-Delft/bumping-version
·
Apr 18, 2016
Release:
v6.4.0
v6.3.0
329f2d99
·
Merge pull request #53 from SERG-Delft/v630
·
Jun 12, 2015
Release:
v6.3.0
v6.2.0
c4d152de
·
Merge pull request #44 from SERG-Delft/jdk7
·
Apr 18, 2015
Release:
v6.2.0
v6.1.1
91ffe53d
·
Merge pull request #42 from SERG-Delft/bumping-610
·
Apr 02, 2015
Release:
v6.1.1
v6.1.0
d9ef199a
·
Ready to release 6.1.0.
·
Apr 02, 2015
Release:
v6.1.0
v6.0.0
35150453
·
Merge pull request #29 from avandeursen/release-600
·
Apr 22, 2014
Release:
v6.0.0