Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Remove unused Makefiles in dev/tools/ | 2017-08-01 | |
* | Put all plugins behind an "API". | 2017-06-07 | |
* | Merge remote-tracking branch 'origin/pr/78' into trunk: | 2016-04-04 | |
|\ | |||
* | | Removing an empty file detected by Luc Grateau. | 2016-03-12 | |
| * | dev/tool/anomaly-traces-parser.el | 2015-06-26 | |
|/ | |||
* | 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 |