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