blob: 7ff68cc4955311f96836f34c5150ff335b2d32e8 (
plain)
1
2
3
4
5
|
- **Changed:**
When passing ``TIMED=1`` to ``make`` with either Coq's own makefile
or a ``coq_makefile``\-made makefile, timing information is now
printed for OCaml files as well (`#12211
<https://github.com/coq/coq/pull/12211>`_, by Jason Gross).
|
