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.1pl2
protected
b5473857
·
report de la révision 10219 dans le tags V8.1pl2 (correction du lien vers coq-bugs)
·
Oct 12, 2007
Restoring SVN tags
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
V8.1pl3
protected
259b6943
·
Création d'un tag pour la 8.1pl3
·
Dec 13, 2007
Restoring SVN tags
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
V8.1pl4
protected
657da139
·
Préparation de la release de la 8.1pl4
·
Oct 09, 2008
Restoring SVN tags
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
V8.1pl5
protected
4bb87a72
·
MAJ numéro de version 8.1pl5
·
Jun 15, 2009
Restoring SVN tags
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
V8.1pl6
protected
6b4b897e
·
Creating a tag for Coq 8.1pl6
·
Dec 19, 2011
Restoring SVN tags
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
V8.1pre-beta
protected
39e218ae
·
Renommage de l'ancienne beta en pre-beta
·
Jul 12, 2006
Restoring SVN tags
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
V8.2
protected
23173e8c
·
Creating a tag for Coq 8.2
·
Feb 11, 2009
Restoring SVN tags
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
V8.2-1
protected
3f34ae7a
·
Numéros de version dans la doc
·
Feb 17, 2009
Restoring SVN tags
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
V8.2alpha
protected
286b99eb
·
Préparation des paquets pour la 8.2alpha
·
May 22, 2008
Restoring SVN tags
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
V8.2beta
protected
fe36cf9b
·
Numéros de version dans la doc
·
Jun 13, 2008
Restoring SVN tags
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
V8.2beta2
protected
35b3e531
·
Numéro de version pour la 8.2beta2
·
Jun 19, 2008
Restoring SVN tags
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
V7-0beta2
protected
82be2187
·
This commit was manufactured by cvs2svn to create tag 'V7-0beta2'.
·
Feb 02, 2001
Restoring SVN tags
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
V7-0beta3-ocaml3-01
protected
31bf213d
·
This commit was manufactured by cvs2svn to create tag
·
Mar 25, 2001
Restoring SVN tags
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
V7-0beta4
protected
45d447c4
·
This commit was manufactured by cvs2svn to create tag 'V7-0beta4'.
·
Apr 12, 2001
Restoring SVN tags
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
V7-1
protected
8e6d0c79
·
This commit was manufactured by cvs2svn to create tag 'V7-1'.
·
Sep 27, 2001
Restoring SVN tags
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
V7-2
protected
43b06daf
·
This commit was manufactured by cvs2svn to create tag 'V7-2'.
·
Jan 14, 2002
Restoring SVN tags
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
V7-3
protected
d81ffa97
·
This commit was manufactured by cvs2svn to create tag 'V7-3'.
·
May 22, 2002
Restoring SVN tags
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
V7-3-1
protected
7c408eb8
·
This commit was manufactured by cvs2svn to create tag 'V7-3-1'.
·
Oct 03, 2002
Restoring SVN tags
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
V7-4
protected
6f6e35a4
·
This commit was manufactured by cvs2svn to create tag 'V7-4'.
·
Feb 06, 2003
Restoring SVN tags
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
V8-0
protected
6bdd5246
·
This commit was manufactured by cvs2svn to create tag 'V8-0'.
·
Apr 21, 2004
Restoring SVN tags
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
4
5
Next