Tags

Tags give the ability to mark specific points in history as being important

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
```
V8.2pl2 protected

c0639c58 · Changement du numéro de version pour la 8.2pl2 · Jun 29, 2010
```
Restoring SVN tags
```
V8.2pl3 protected

0f56e3eb · Creating a tag for Coq 8.2pl3 · Dec 19, 2011
```
Restoring SVN tags
```
V8.2rc1 protected

8d70d3bd · Creating a tag for Coq 8.2rc1 · Jan 23, 2009
```
Restoring SVN tags
```
V8.2rc2 protected

d9bc69a7 · Correction bug 2037. · Jan 30, 2009
```
Restoring SVN tags
```
V8.3 protected

828c278f · Changement du configure pour requérir OCaml >= 3.10.2 · Oct 14, 2010
```
Restoring SVN tags
```
V8.3-beta0 protected

f7e80f56 · Numéro de version · Feb 16, 2010
```
Restoring SVN tags
```
V8.3-rc1 protected

3471d0b4 · Changement de numéro de version pour la 8.3-rc1 · Aug 06, 2010
```
Restoring SVN tags
```
V8.3pl1 protected

dc3e9e88 · Retour sur la version minimale de OCaml · Dec 23, 2010
```
Restoring SVN tags
```
V8.3pl2 protected

9341752f · Changing version number to 8.3pl2 · Apr 19, 2011
```
Restoring SVN tags
```
V8.3pl3 protected

d6e12591 · Version number and copyright: missing updates. · Dec 25, 2011
```
Restoring SVN tags
```
V8.3pl4 protected

b0421db3 · Creating a tag for Coq 8.3pl4 · Mar 26, 2012
```
Restoring SVN tags
```
V8.3pl5 protected

3bf75b1f · Creating a tag for Coq 8.3pl5 · Sep 25, 2012
```
Restoring SVN tags
```