index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tools
/
ocamllibdep.mll
Age
Commit message (
Expand
)
Author
2020-03-18
Update headers in the whole code base.
Théo Zimmermann
2020-02-13
[coqdep] Remove support for `-c` ocamldep replacement.
Emilio Jesus Gallego Arias
2019-07-08
[core] [api] Support OCaml 4.08
Emilio Jesus Gallego Arias
2019-06-17
Update ml-style headers to new year.
Théo Zimmermann
2018-12-04
Remove leftover code that used to handle ml4 files.
Pierre-Marie Pédrot
2018-10-19
Adapt coq_makefile to handle coqpp-based macro files.
Pierre-Marie Pédrot
2018-10-02
[ocaml] [lib] Remove some compatibility layers for OCaml < 4.03.0
Emilio Jesus Gallego Arias
2018-05-04
Fix #7413: coqdep warning on repeated files
Gaëtan Gilbert
2018-02-27
Update headers following #6543.
Théo Zimmermann
2017-07-04
Merge branch 'v8.6'
Pierre-Marie Pédrot
2017-06-27
A cleaning phase about ocaml file names.
Hugo Herbelin
2017-05-30
make sure that "ocamllibdep" properly recognizes Ocaml modules that are all u...
Matej Košík
2017-05-28
Fail on deprecated warning even for Ocaml > 4.02.3
Gaëtan Gilbert
2016-06-15
ocamllibdep + coqdep : simpler deps concerning .mllib and .mlpack
Pierre Letouzey
2016-06-08
Compilation via pack for plugins of the stdlib
Pierre Letouzey
2016-01-01
Remove useless recursive flags.
Guillaume Melquiond
2015-12-14
Remove some occurrences of Unix.opendir.
Guillaume Melquiond
2015-02-16
New short stand-alone ocamllibdep to build .mllib dependencies files.
Hugo Herbelin
