| Age | Commit message (Expand) | Author |
|---|---|---|
| 2002-03-21 | reparation du test des reals | letouzey |
| 2001-11-21 | remise au gout du jour du repertoire theories/Sorting de la V6.3 | letouzey |
| 2001-09-20 | changements mineurs du test | letouzey |
| 2001-09-10 | changement du make depend en vu du make reals | letouzey |
| 2001-05-09 | nettoyage extraction | filliatr |
| 2001-04-24 | Ajout du .depend | mohring |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |