| Age | Commit message (Expand) | Author |
|---|---|---|
| 2013-12-06 | Remove duplicate test-suite file. | Arnaud Spiwack |
| 2012-06-12 | Changed encoding from ISO-8859-1 to UTF-8 for some remaining gallina files. | ppedrot |
| 2006-12-12 | Correction bug #1041 (double cause : non évitement des noms existants en | herbelin |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |