aboutsummaryrefslogtreecommitdiffhomepage
path: root/config
Commit message (Expand)AuthorAge
* mise en place des outilsGravatar filliatr1999-12-11
* - erreurs PretypeGravatar filliatr1999-12-10
* mise en place programmation literaire (generation de doc/coq.tex)Gravatar filliatr1999-08-19
* Initial revisionGravatar filliatr1999-08-16