Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Remove interface plugin | 2009-12-02 | |
* | Directory 'contrib' renamed into 'plugins', to end confusion with archive of ... | 2009-03-20 | |
* | Completed 11745 (move of jprover to user contribs) and cleaned 11743 | 2009-01-05 | |
* | first-order --> firstorder (kills a warning about not being a valid id) | 2008-04-16 | |
* | Amélioration de la génération des graphes de dépendances (utilisation de ... | 2008-01-11 | |
* | Restructuration dossier dev et mise à jour de certaines documentations | 2006-05-23 |