aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/ocamldebug-v7.template
Commit message (Expand)AuthorAge
* correction d'un bug de Correctness (pour Y Bertot)Gravatar filliatr2001-06-27
* Retablissement de minicoqGravatar coq2001-05-29
* modifs pour extraction; bug coqmktopGravatar filliatr2001-03-06
* Ajout du répertoire config utilisé par System en localGravatar herbelin2000-12-05
* -I configGravatar mohring2000-11-29
* Paramètrage de ocamldebug-v7 par configure à partir d'un 'template'Gravatar herbelin2000-11-24