blob: ca871bbf6b0dc0e12672584dab3220ff2e3c49fe (
plain)
1
2
3
4
5
6
7
|
- **Added:**
Command-line options `-require-import`, `-require-export`,
`-require-import-from` and `-require-export-from`, as well as their
shorthand, `-ri`, `-re`, `-refrom` and -`rifrom`. Deprecate
confusing command line option `-require`
(`#10245 <https://github.com/coq/coq/pull/10245>`_
by Hugo Herbelin, review by Emilio Gallego).
|
