index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tools
/
coqdep_lexer.mll
Age
Commit message (
Expand
)
Author
2010-03-04
Makefile: the .ml of .ml4 are now produced explicitely (in binary ast form)
letouzey
2009-09-29
Add support for Local Declare ML Module
glondu
2009-09-17
Delete trailing whitespaces in all *.{v,ml*} files
glondu
2009-03-20
Many changes in the Makefile infrastructure + a beginning of ocamlbuild
letouzey
2009-03-14
Coqdep: better handling of Declare ML Module (via .mllib) + many cleanups
letouzey
2009-03-14
Coqdep: remove references to obsolete .zi and Require Implementation stuff
letouzey
2008-03-26
Correction du bug #1814 (trunk et v8.1) + améliorations dans coqdep et coq_m...
notin
2006-04-26
Prise en compte du Require multiple
herbelin
2004-07-16
Nouvelle en-tête
herbelin
2002-11-15
Bug de coqdep qui n'acceptait pas les fichiers DOS (cf Binome.v)
letouzey
2002-10-10
gestion coherente de l'option -R et des Require A.B.C.
barras
2001-08-31
prise en compte de Load par coqdep
filliatr
2001-04-06
bug Print Proof; usage coqtop/coqc
filliatr
2001-03-15
entetes
filliatr
1999-12-11
outils (manquent encore les deux filtres)
filliatr
