blob: e48b772f01983a9e912cb2917ce9070c2f993079 (
plain)
1
2
3
4
5
6
|
- **Changed:**
`coqc` now enforces that at most a single `.v` file can be passed in
the command line. Support for multiple `.v` files in the form of
`coqc f1.v f2.v` didn't properly work in 8.13, tho it was accepted.
(`#13876 <https://github.com/coq/coq/pull/13876>`_,
by Emilio Jesus Gallego Arias).
|
