Mentions légales du service
Skip to content
GitLab
Explore
Sign in
coq
coq
Tags
Tags give the ability to mark specific points in history as being important
V8.2pl3
protected
0f56e3eb
·
Creating a tag for Coq 8.2pl3
·
Dec 19, 2011
Restoring SVN tags
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
V8.2rc1
protected
8d70d3bd
·
Creating a tag for Coq 8.2rc1
·
Jan 23, 2009
Restoring SVN tags
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
V8.2rc2
protected
d9bc69a7
·
Correction bug 2037.
·
Jan 30, 2009
Restoring SVN tags
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
V8.3
protected
828c278f
·
Changement du configure pour requérir OCaml >= 3.10.2
·
Oct 14, 2010
Restoring SVN tags
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
V8.3-beta0
protected
f7e80f56
·
Numéro de version
·
Feb 16, 2010
Restoring SVN tags
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
V8.3-rc1
protected
3471d0b4
·
Changement de numéro de version pour la 8.3-rc1
·
Aug 06, 2010
Restoring SVN tags
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
V8.3pl1
protected
dc3e9e88
·
Retour sur la version minimale de OCaml
·
Dec 23, 2010
Restoring SVN tags
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
V8.3pl2
protected
9341752f
·
Changing version number to 8.3pl2
·
Apr 19, 2011
Restoring SVN tags
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
V8.3pl3
protected
d6e12591
·
Version number and copyright: missing updates.
·
Dec 25, 2011
Restoring SVN tags
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
V8.3pl4
protected
b0421db3
·
Creating a tag for Coq 8.3pl4
·
Mar 26, 2012
Restoring SVN tags
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
V8.3pl5
protected
3bf75b1f
·
Creating a tag for Coq 8.3pl5
·
Sep 25, 2012
Restoring SVN tags
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
V8.4
protected
3366f276
·
Updating version number of remote style for reference manual.
·
Aug 12, 2012
Restoring SVN tags
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
V8.4beta
protected
a9a068d6
·
Version number and copyright: missing updates.
·
Dec 25, 2011
Restoring SVN tags
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
V8.4beta2
protected
53191e6e
·
Creating a tag for Coq 8.4beta2
·
May 21, 2012
Restoring SVN tags
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
V8.0pl4
protected
9cec31ed
·
Release de la 8.0pl4
·
Jan 26, 2007
Restoring SVN tags
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
V8.1
protected
919e894f
·
Release de la 8.1
·
Feb 10, 2007
Restoring SVN tags
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
V8.1-APP
protected
a92a08d2
·
Merged a few test-suite files in old branch recdef and V8.1-APP tag to please...
·
Apr 25, 2011
Restoring SVN tags
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
V8.1beta
protected
4160197d
·
Creating\ a\ tag\ for\ Coq\ 8.1beta
·
Jul 12, 2006
Restoring SVN tags
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
V8.1gamma
protected
46a97e6b
·
Correction typo règle réduction du fix chapitre CCI
·
Dec 08, 2006
Restoring SVN tags
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
V8.1pl1
protected
6b29e2e1
·
Nettoyage du configure
·
Jul 26, 2007
Restoring SVN tags
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
4
5
Next