| Age | Commit message (Expand) | Author |
|---|---|---|
| 2006-06-09 | changements de dernieres minutes pour la 8.1 beta: | letouzey |
| 2006-06-02 | debut de reparation du test d'extraction | letouzey |
| 2004-03-20 | petit rajeunissement du test d'extraction | letouzey |
| 2003-07-10 | renommage des modules 1er niveau en monolithique | letouzey |
| 2003-01-22 | Extraction des modules, enfin ! | letouzey |
| 2002-11-28 | bug pp letin + un inductif constant n'est pas un record | letouzey |
| 2002-11-04 | maj avec tous les mli | letouzey |
| 2002-10-31 | L'extraction c'est magic cvs -n up | letouzey |
| 2002-07-16 | maj | letouzey |
| 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 |