Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Remove obsolete script univdot, update dev doc about universes | 2010-12-24 | |
* | Updated COPYRIGHT file and header. Improved and fixed header updater. | 2010-07-24 | |
* | New script dev/tools/change-header to automatically update Coq files headers. | 2010-06-22 | |
* | Reactivation des outils de developpement de Jacek | 2006-09-29 | |
* | Fix broken paths. | 2006-05-29 | |
* | Restructuration dossier dev et mise à jour de certaines documentations | 2006-05-23 |