| Age | Commit message (Expand) | Author |
|---|---|---|
| 2004-03-24 | Effacement tardif de ce fichier qui a ete transforme le 5 nov 2002 en une ver... | herbelin |
| 2003-03-12 | *** empty log message *** | barras |
| 2002-12-19 | Petit netoyage dans lib | coq |
| 2002-12-03 | la table PARAMETER n'existe plus (mergé dans la table CONSTANT) | letouzey |
| 2002-10-07 | Lazy manuelles dans le code | coq |
| 2002-10-05 | Lazy experimentale temporaire... | coq |
| 2002-08-17 | Suppression automatique du corps des définitions locales opaques dans | herbelin |
| 2002-08-02 | Modules dans COQ\!\!\!\! | coq |
| 2002-05-29 | Fichiers contrib/*/*.ml4 remplacent les contrib/*/*.v | herbelin |
| 2002-02-15 | petits changements cosmetiques sur les tactiques | barras |
| 2001-12-19 | reparation du make depend et du .depend | letouzey |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |