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