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
*
- MAJ entêtes des fichiers produits par coq_makefile
herbelin
2007-05-16
*
Améliorations utiles pour les Makefile répartis sur plusieurs répertoires
herbelin
2007-02-24
*
Modification de l'appel à coqdoc (COQBIN)
notin
2006-05-22
*
Ajout de l'essai d'effacement des noms des cibles custom par la cible clean
herbelin
2006-02-06
*
This commit corrects the last commit of Hugo that broke down the "make depend"
sacerdot
2005-01-12
*
VOFILES aussi pour make depend
herbelin
2004-12-09
*
Pour ceux qui appelent Makefile avec des fichiers dans des sous-répertoires
herbelin
2004-11-28
*
Nouvelle en-tête
herbelin
2004-07-16
*
"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