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