release 3.1
First delivery, implementing tasks 1 and 2.
If you check out this revision, remember that a compatibility problem with Java 7 was fixed only in fec462e48a51afccada7ee5597c5bc9d8654ec25 and might need to be cherry-picked from there.
Third delivery, implementing tasks 5 and 6
release 4.0
release 4.1
release 5.0
release 5.0.1
version 5.0.2
version 5.0.3
release 6.0
Release 6.1
Release 7.0
Creating Orekit 7.1 tag.
Creating Orekit 7.2 tag.
Official Orekit 7.2.1 release.
Creating Orekit 8.0 tag.