index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
scripts
/
coqc.ml
Commit message (
Expand
)
Author
Age
*
Intégration des modifs de la branche mowgli :
herbelin
2002-11-05
*
option -dump-glob pour coqdoc
filliatr
2002-02-14
*
Protection contre erreurs Unix
herbelin
2001-09-26
*
Ajout d'une option et d'une fonction compile pour fabriquer les .vo
herbelin
2001-09-18
*
quotation des noms de fichiers pour eviter une mauvaise interpretation des \
barras
2001-09-17
*
Amélioration check_module_name
herbelin
2001-09-09
*
*** empty log message ***
courant
2001-04-19
*
option -verbose a coqc; option -i supprimée
filliatr
2001-03-21
*
entetes
filliatr
2001-03-15
*
option -m (utilisation memoire)
filliatr
2001-02-09
*
- coqc : option -image
filliatr
2001-02-01
*
Suppresion de l'option -as, c'est maintenant -R qui devient l'option standard...
herbelin
2000-12-06
*
Changement de la syntaxe des options -I et -R
herbelin
2000-11-30
*
- coqc: utilise le meilleur coq possible
filliatr
2000-11-24
*
Deplacement d'options avec ou sans argts
mohring
2000-11-03
*
compilation des fichiers ml4 sans GNUseries
filliatr
2000-11-03