aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/cClosure.mli
Commit message (Expand)AuthorAge
* closure.ml renamed into cClosure.ml (avoid clash with a compiler-libs module)Gravatar Pierre Letouzey2016-07-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-23 18:47:41 +0000