Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fixing what was presumably a typo in the naming conventions file. | 2017-07-16 | |
* | Switch the few remaining iso-latin-1 files to utf8 | 2014-12-09 | |
* | Addition of mergesort + cleaning of the Sorting library | 2009-12-13 | |
* | Fixed clash names in Relations (see bug report #2152) and make names | 2009-10-08 | |
* | Mise à jour du document de révision de la stdlib et déplacement de la | 2009-08-14 |