Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Completed 11745 (move of jprover to user contribs) and cleaned 11743 | herbelin | 2009-01-05 |
* | first-order --> firstorder (kills a warning about not being a valid id) | letouzey | 2008-04-16 |
* | Amélioration de la génération des graphes de dépendances (utilisation de ... | notin | 2008-01-11 |
* | Restructuration dossier dev et mise à jour de certaines documentations | herbelin | 2006-05-23 |