aboutsummaryrefslogtreecommitdiffhomepage
path: root/configure
Commit message (Expand)AuthorAge
* mise en place des outilsGravatar filliatr1999-12-11
* - erreurs PretypeGravatar filliatr1999-12-10
* Ajout option spéciale PPCGravatar herbelin1999-12-06
* bug make_strength repareGravatar filliatr1999-12-03
* modules profile, Coqinit et Coqtop (=main)Gravatar filliatr1999-12-03
* module LibraryGravatar filliatr1999-09-18
* suppression de l'option -nowarning qui n'est pas saineGravatar filliatr1999-08-18
* module ClosureGravatar filliatr1999-08-17
* Initial revisionGravatar filliatr1999-08-16