| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | [ci] Upgrade edge OCaml to 4.07.0 and Dune to 1.0.0 |  Emilio Jesus Gallego Arias | 2018-07-11 |
| | | | | | | | - We update the OCaml version used in the base CI image. - Windows / OSX image building is also updated to use newer OCaml. - We also update Dune to 1.0.0. | ||
| * | Clean up documentation around beginner's guide. |  Siddharth Bhat | 2018-07-02 |
| - move `README` to `README.md` to take advantage of markdown features - remove `setup.txt`, port the editor specific information to the wiki. Merge development information into `dev/doc/README.md`. Wiki merge link: https://github.com/coq/coq/wiki/DevelSetup. - Add new links to files into `dev/README.md`. - Remove stale `translate.txt`. | |||
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |