| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 |