aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/coqdep_lexer.mli
Commit message (Expand)AuthorAge
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Fixing bug #4265: coqdep does not handle From ... Require.Gravatar Pierre-Marie Pédrot2015-07-03
* Removing dead code in coqdep.Gravatar Pierre-Marie Pédrot2015-06-30
* Update headers.Gravatar Maxime Dénès2015-01-12
* Updating headers.Gravatar herbelin2012-08-08
* Added Add LoadPath in coqdep lexer (but not in coqdep itself by lack of time).Gravatar herbelin2011-10-29
* avoid dependency nightmare by creating coqdep_{lexer,common}.mliGravatar letouzey2011-09-18