| Age | Commit message (Expand) | Author |
|---|---|---|
| 2006-10-16 | typo doc + bug legacy field | barras |
| 2006-10-04 | Correction bug #1236 | notin |
| 2006-09-28 | separation de RealField | barras |
| 2006-09-22 | doc du nouveau ring | barras |
| 2006-02-23 | Nettoyage de l'archive doc et restructuration avant intégration à l'archive | herbelin |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |