| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-05-25 | Coqc: Treat unknown arguments starting with dash as unknown options rather th... | Hugo Herbelin |
| 2019-05-14 | Coqc: Ensure that at most one file is given when -o is also given. | Hugo Herbelin |
| 2019-05-14 | Coqc: Ensure exclusiveness of options -quick and -vio2vo. | Hugo Herbelin |
| 2019-05-14 | Option -check-vio-tasks: fail gracefully when not finding expected integers. | Hugo Herbelin |
| 2019-02-01 | [toplevel] Split interactive toplevel and compiler binaries. | Emilio Jesus Gallego Arias |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |