| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-04-12 | [coqdep] error on non-existent and unreadable files | Hendrik Tews | |
| Print an error message and return non-zero status for non-existing or unreadable files. Unknown options produce a warning and are otherwise ignored. Fixes #14023 | |||
| 2021-04-04 | Adding change log for #13624. | Hugo Herbelin | |
| 2021-02-26 | [coqc] Don't allow to pass more than one file to coqc | Emilio Jesus Gallego Arias | |
| This has been in the TODO queue for a long time, and indeed I have recently seen some trouble with users passing two .v files to Coq, which it isn't a) tested, b) supported. Moreover, it doesn't even work correctly in 8.13 due to some other changes in the toplevel related to auxiliary files. (*) https://stackoverflow.com/questions/66261987/compiling-multiple-coq-files-does-not-work | |||
| 2021-02-04 | Changelog for #13822 | Gaëtan Gilbert | |
| 2020-12-11 | Clarify changelog categories. | Théo Zimmermann | |
| For readers of the changelog: title "Tools" become "Command-line tools". For developers: changelog categories 07 and 08 are disambiguated. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |