aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/doc/naming-conventions.tex
Commit message (Expand)AuthorAge
* Addition of mergesort + cleaning of the Sorting libraryGravatar herbelin2009-12-13
* Fixed clash names in Relations (see bug report #2152) and make namesGravatar herbelin2009-10-08
* Mise à jour du document de révision de la stdlib et déplacement de laGravatar herbelin2009-08-14