Commit message (Expand) | Author | Age | |
---|---|---|---|
* | *** empty log message *** | barras | 2003-03-12 |
* | Petit netoyage dans lib | coq | 2002-12-19 |
* | la table PARAMETER n'existe plus (mergé dans la table CONSTANT) | letouzey | 2002-12-03 |
* | Lazy manuelles dans le code | coq | 2002-10-07 |
* | Lazy experimentale temporaire... | coq | 2002-10-05 |
* | Suppression automatique du corps des définitions locales opaques dans | herbelin | 2002-08-17 |
* | Modules dans COQ\!\!\!\! | coq | 2002-08-02 |
* | Fichiers contrib/*/*.ml4 remplacent les contrib/*/*.v | herbelin | 2002-05-29 |
* | petits changements cosmetiques sur les tactiques | barras | 2002-02-15 |
* | reparation du make depend et du .depend | letouzey | 2001-12-19 |