| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Update coypright dates on documentation |  Matthieu Sozeau | 2017-08-23 |
| * | Update copyright headers. |  Maxime Dénès | 2016-01-20 |
| * | Remove some outdated files and fix permissions. |  Guillaume Melquiond | 2015-07-31 |
| * | Refresh some copyright headers. | Maxime Dénès | 2015-01-13 |
| * | Version number, copyright, credits: missing updates. |  herbelin | 2011-12-25 |
| * | Remove the svn-specific $Id$ annotations |  letouzey | 2010-04-29 |
| * | Updated dates | herbelin | 2009-01-13 |
| * | Numéros de version dans la doc |  notin | 2008-06-13 |
| * | MAJ date copyright doc | herbelin | 2007-09-18 |
| * | Cleaned doc/common/title.tex file. Increased the space under headers |  emakarov | 2007-04-12 |
| * | Mise à jour des Makefile, ajout licences, corrections mineures suite à | herbelin | 2006-02-23 |
| * | Nettoyage de l'archive doc et restructuration avant intégration à l'archive | herbelin | 2006-02-23 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |