index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
tools
/
coq_makefile.ml4
Commit message (
Expand
)
Author
Age
*
"xml" target removed from generated makefiles (since it was no longer used)
sacerdot
2004-03-29
*
MAJ
kirchner
2004-03-29
*
Ajout option -impredicative-set
herbelin
2003-11-08
*
rm -f .depend (sans le -f "make depend" echoue lorsque le .depend
filliatr
2003-07-02
*
on sait se refaire uniquement si option -f
filliatr
2003-02-24
*
coq_makefile dit comment faire le .depend (evite l'echec lorsque
filliatr
2003-02-24
*
bugs
herbelin
2002-11-14
*
Réforme de l'interprétation des termes :
herbelin
2002-11-14
*
Intégration des modifs de la branche mowgli :
herbelin
2002-11-05
*
Filtrage redondant
herbelin
2002-09-27
*
Modules dans COQ\!\!\!\!
coq
2002-08-02
*
coq_makefile utilise maintenant coqdoc
filliatr
2002-06-18
*
Ajout des -I contrib
herbelin
2002-05-30
*
Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...
herbelin
2002-05-29
*
bootstrap consistent avec les options de la ligne de commande
filliatr
2002-02-15
*
reparation du make depend et du .depend
letouzey
2001-12-19