aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/coqdep_common.mli
Commit message (Expand)AuthorAge
* Updating headers.Gravatar herbelin2012-08-08
* avoid dependency nightmare by creating coqdep_{lexer,common}.mliGravatar letouzey2011-09-18
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 18:17:54 +0000