| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-02-21 | Remove redundant COPYRIGHT file. | Théo Zimmermann |
| 2016-07-13 | Merge branch 'v8.5' into v8.6 | Pierre-Marie Pédrot |
| 2016-07-08 | Update COPYRIGHT. | Maxime Dénès |
| 2016-06-15 | ssrmatching: giving proper credits to the original author(s) | Enrico Tassi |
| 2015-01-13 | Refresh some copyright headers. | Maxime Dénès |
| 2012-05-25 | Fixed #2789. | ppedrot |
| 2011-12-25 | Version number, copyright, credits: missing updates. | herbelin |
| 2010-07-24 | Updated COPYRIGHT file and header. Improved and fixed header updater. | herbelin |
| 2009-03-20 | Directory 'contrib' renamed into 'plugins', to end confusion with archive of ... | letouzey |
| 2009-01-13 | - Standardized prefix use of "Local"/"Global" modifiers as decided in | herbelin |
| 2007-01-10 | Merge from Lionel Elie Mamane's private branch: | lmamane |
| 2004-03-15 | Ajout d'un fichier COPYRIGHT | mohring |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |