Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Suppression du répertoire distrib: il fait désormais partie du projet coq-d... | 2006-06-09 | |
* | *** empty log message *** | 2006-01-05 | |
* | ajout installer windows | 2005-11-09 | |
* | ajout splashscreen | 2005-11-09 | |
* | ajout splash screen | 2005-11-09 | |
* | set home | 2005-11-08 | |
* | installer windows | 2005-11-08 | |
* | generation auto des .bat | 2005-11-08 | |
* | uninstall ok | 2005-11-08 | |
* | un peu mieux mais pas encore ca | 2005-11-08 | |
* | coq icon | 2005-11-06 | |
* | installer windows travail en cours | 2005-11-06 | |
* | scprit for windows install program | 2005-11-05 |