| Age | Commit message (Expand) | Author |
|---|---|---|
| 2009-03-20 | Directory 'contrib' renamed into 'plugins', to end confusion with archive of ... | letouzey |
| 2008-05-06 | [ring] constructor for power was missing in the doc | barras |
| 2007-07-12 | port de r9968: bug avec les ring calculatoires | barras |
| 2007-05-11 | Made some places in the reference manual clearer. Corrected | emakarov |
| 2007-02-07 | Field rewrites only with polynomial | thery |
| 2007-02-07 | doc de ring/field + option infinite -> completeness | barras |
| 2007-02-06 | doc for field | thery |
| 2007-02-05 | complement du commit 9591 | bgregoir |
| 2007-02-01 | Petite relecture partie ring | herbelin |
| 2007-01-31 | report de r9574: doc de field | barras |
| 2007-01-24 | doc de ring | bgregoir |
| 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 |