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