Skip to content
GitLab
Explore
Sign in
Tags
Tags give the ability to mark specific points in history as being important
Release_2017_03_3
74a1cfee
·
update release notes
·
Jul 07, 2017
Release_2017_03_2
b2d4d0db
·
update docs
·
Jun 06, 2017
Release_2017_03_1
a20e85f0
·
tag release
·
Apr 19, 2017
Release_2017_03_1b1
d44c7ea7
·
bump for release
·
Apr 01, 2017
Release_2016_09_4
77b80450
·
release notes typo
·
Feb 05, 2017
Release_2016_09_3
92c21f9a
·
update release notes
·
Dec 21, 2016
Release_2016_09_2
24307f17
·
update release notes and version
·
Nov 23, 2016
Release_2016_09_1
8e1e986f
·
update version
·
Nov 11, 2016
Release_2016_09_1b1
94120c1b
·
a couple of small tweaks
·
Nov 04, 2016
Release_2016_09_1a1
81ee476f
·
Fixes #1118 (#1119)
·
Oct 24, 2016
Release_2016_03_5
cc64b9ca
·
next release
·
Oct 10, 2016
Release_2016_03_4
fa2a5e67
·
fix a cartridge test broken by #986
·
Aug 21, 2016
Release_2016_03_3
73cf52e3
·
tag next patch release
·
Jul 22, 2016
Release_2016_03_2
e0c1c029
·
update release notes
·
May 20, 2016
Release_2016_03_1
958298db
·
final doc update
·
Apr 18, 2016
Release_2016_03_1b1
77a5f030
·
version number update
·
Apr 07, 2016
Release_2015_09_2
00ba09ed
·
update release notes
·
Nov 14, 2015
Release_2015_09_1
9bb825c6
·
doc update
·
Nov 07, 2015
tag release
Release_2015_09_1beta1
c08ea119
·
update release notes
·
Oct 27, 2015
CanonicalizationPaper_Aug2015
95623b77
·
Merge pull request #552 from NadineSchneider/CanonicalizationPaper_Aug2015
·
Aug 07, 2015
Prev
1
2
3
4
5
Next