Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
coq
coq
Tags
Tags give the ability to mark specific points in history as being important
V8.6beta1
protected
bdcf5b04
·
Revert "Merge remote-tracking branch 'github/pr/360' into v8.6"
·
Nov 18, 2016
Release:
V8.6beta1
V8.5pl3
protected
2290dbb9
·
Merge remote-tracking branch 'github/pr/338' into v8.5
·
Oct 25, 2016
Release:
V8.5pl3
V8.5pl2
protected
e1661dc9
·
Fix test file for #4858.
·
Jul 08, 2016
Release:
V8.5pl2
V8.7+alpha
protected
15edfc8f
·
dummy commit --- I just need a hash that does not belong to v8.6 branch
·
Jul 07, 2016
V8.5pl1
protected
d5cbd7b8
·
Fix order of arguments to Big.compare_case in ExtrOcamlZBigInt.v
·
Apr 09, 2016
Release:
V8.5pl1
V8.5
protected
5e23fb90
·
Update cic.mli MD5 after header update.
·
Jan 20, 2016
Release:
V8.5
V8.5rc1
protected
04394d4f
·
Updating credits.
·
Dec 16, 2015
V8.5beta3
protected
0fd6ad21
·
Update version numbers and magic numbers for 8.5beta3 release.
·
Nov 05, 2015
V8.5beta2
protected
94afd899
·
Change magic numbers.
·
Apr 20, 2015
V8.4pl6
protected
b705cf02
·
Changelog for 8.4pl6
·
Apr 09, 2015
Release:
V8.4pl6
V8.5beta1
protected
eaa3d0b1
·
Remove dead code.
·
Jan 17, 2015
V8.4pl5
protected
0ec5646c
·
Fix missing lift in VM and native compiler (second part of #2729).
·
Oct 22, 2014
Release:
V8.4pl5
V8.4pl4
protected
72b423c9
·
Correct pl version number
·
Apr 24, 2014
V8.4pl3
protected
985f884b
·
Update CHANGES.
·
Dec 12, 2013
V8.4pl1
protected
46b4aac4
·
Version bump: 8.4pl1
·
Dec 22, 2012
Restoring SVN tags
V8.4pl2
protected
9680d833
·
Creating a tag for Coq 8.4pl2
·
Apr 04, 2013
Restoring SVN tags
V8.4rc1
protected
e06fd439
·
Creating a tag for Coq 8.4rc1
·
Aug 08, 2012
Restoring SVN tags
V8.2beta3
protected
f059735f
·
Et c'est parti pour la 8.2beta3...
·
Jun 27, 2008
Restoring SVN tags
V8.2beta4
protected
bbf8a42a
·
Suite commit #11311
·
Aug 07, 2008
Restoring SVN tags
V8.2pl1
protected
2ae63e71
·
Changement des magic numbers
·
Jul 01, 2009
Restoring SVN tags
Prev
1
2
3
4
5
6
7
Next