aboutsummaryrefslogtreecommitdiffhomepage
path: root/scripts/.cvsignore
Commit message (Expand)AuthorAge
* compilation des fichiers ml4 sans GNUseriesGravatar filliatr2000-11-03
* - simplification Makefile (compilation des fichiers .ml'; pas encore parfaitGravatar filliatr2000-10-31
* modules et coqcGravatar filliatr1999-12-12
* coqmktopGravatar filliatr1999-12-03