aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/README
Commit message (Expand)AuthorAge
* Remove unused Makefiles in dev/tools/Gravatar Gaëtan Gilbert2017-08-01
* dev/tool/anomaly-traces-parser.elGravatar Gabriel Scherer2015-06-26
* As many notation for for vectors as for List.Gravatar pboutill2011-05-03
* Remove obsolete script univdot, update dev doc about universesGravatar glondu2010-12-24
* Mise à jour dev/doc/changes.txt et ajout d'un mot sur TACTIC EXTENDGravatar herbelin2006-05-23
* Restructuration dossier dev et mise à jour de certaines documentationsGravatar herbelin2006-05-23
* Pour les développeurs extérieursGravatar herbelin2001-12-19