coq - The formal proof system

Age	Commit message (Collapse)	Author
2019-12-13	[fmt] [dune] Add ocamlformat configuration.	Emilio Jesus Gallego Arias
	For now we don't enable it in any source file, neither on dune files. `lint-repository` has been updated so it will check `dune build @fmt` returns 0.
2019-06-27	Fix dev/doc/README.md by removing redundant, outdated info.	Théo Zimmermann
	And also clean INSTALL file of useless reminder of the procedure to install using a package manager.
2018-11-21	[camlp5] Remove dependency on camlp5.	Emilio Jesus Gallego Arias

2018-07-11	[ci] Upgrade edge OCaml to 4.07.0 and Dune to 1.0.0	Emilio Jesus Gallego Arias
	- 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.
2018-07-02	Clean up documentation around beginner's guide.	Siddharth Bhat
	- 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`.